ALC | Algebra, Logic and Computation

About

The research group of Algebra, Logic and Computation is composed of 19 PhD members, 4 PhD students and 1 scholarship.

In collaboration with colleagues in other national and international research units, the members of this group carry out research in the domains of Algebra and Logic, specifically in the areas of matrix theory, numerical linear algebra, semigroup theory, structural proof theory, type theory, and automata and formal languages theory, with a particular attention to applications in Computer Science, in the areas of theory of programming languages, functional programming, automata and formal languages, and algebraic coding theory.

Coordinator

PHD Members

Non PHD Members

Useful Links

Former group webpage

Last Publications

On circulant and skew-circulant splitting algorithms for (continuous) SYLVESTER equations

arXiv | 2021

Z. Liu

F. Zhang

C. Ferreira

Engenharia Didática: análises preliminares e a priori para a noção dos Quaternions de Fibonacci.

Jornal Internacional de Estudos em Educação Matemática | 2021

Francisco Alves

Renata Vieira

DOI

Continuity of the core-EP inverse and its applications

Linear and Multilinear Algebra | 2021

Y. Gao

J. Chen

DOI

Evaluating Intelligent Methods for Decision Making Support in Dermoscopy Based on Information Gain and Ensemble

Studies in Computational Intelligence | 2021

N. Spolaôr

R. Fonseca-Pinto

A.I. Mendes

L.A. Ensina

W.S.R. Takaki

A.R.S. Parmezan

DOI

USE OF GOOLE CLASSROOM IN REMOTE LEARNING OF PHYSICS AND CHEMISTRY CONTENTS: A CASE STUDY DURING COVID-19 ISOLATION IN 2021

Cátia Costa

Joaquim Lopes

DOI

A generalized Perrin polynomial sequence and its two-dimensional recurrences

Analele Stiintifice ale Universitatii Al I Cuza din Iasi - Matematica | 2021

M.C. Dos Santos Mangueira

R.P.M. Vieira

F.R.V. Alves

DOI

Padovan matrix sequence and the case of generalization

Analele Stiintifice ale Universitatii Al I Cuza din Iasi - Matematica | 2021

R. Vieira

F.R. Alves

DOI

Didactic Engineering to Teach Leonardo Sequence: A Study on a Complexification Process in a Mathematics Teaching Degree Course

International Electronic Journal of Mathematics Education | 2021

Francisco Alves

Milena Mangueira

Renata Vieira

DOI

OLD MACDONALD HAD A FARM: THE PRE AND POST COVID-19 CLASSES DATA ANALYSIS

Maria Nascimento

Ana Aires

DOI

USING GEOGEBRA'S TEACHING STRATEGY IN A SECONDARY TECHNICAL SCHOOL: A CASE STUDY WITH REMOTE NON-MANDATORY CLASSES

Raimundo Filho

Armando Soares

DOI

Related Events

Sala de Seminários do DMAT e online | - | 14:30

Computing the eigenstructure of unsymmetric tridiagonal matrices

Speaker: Carla Ferreira (CMAT)

Read more
Sala de Seminários do DMAT e online | - | 14:30

Non-Standard Ways of Aggregating Formulas in Sequent Calculi

Speakers: Camillo Fiore and Joaquín S. Toranzo Calderón

Read more
Sala B4009 (sala de seminários do DMAT) | - | 14:30

The calculus of natural calculation - an introduction

Speaker: René Gazzari, CMAT

Read more
CMAT | - | 14:30

Group inverses: decompositions, products and sums

SPEAKER: Pedro Patrício (CMAT)

Read more
Lab4, Departamento de Matemática, Campus de… | -

2022 ALC Meeting

The ALC Meeting 2022 is organized by the research group Algebra,…

Read more
| | 12:00

Quantitative Weak Linearisation

Sandra Alves,  Faculdade de Ciências da Universidade do Porto

…
Read more
hybrid format | | 15:00

Proving Lindenbaum Conditionals – But without the Axiom of Choice!

Orador: René Gazzari

(investigator do CMAT)

 

…
Read more
University of Minho | -

Challenges in Numerical Analysis and Scientific Computing

This international meeting aims to bring face to face well-known…

Read more
| | 10:00

Formalising Choreographic Programming

…

Read more
Universidade do Algarve, Faro | - | 09:00

Days in Logic 2022

This biennial meeting aims at bringing together mathematicians,…

Read more
hybrid format | | 11:00

Particular solution to the higher order non-homogeneous Cauchy-Euler equations

Skander Belhaj

Read more
hybrid format | | 11:00

Semi-biproducts of Semigroups

Nelson Martins-Ferreira

Read more
Online | - | 16:15

Polarized natural deduction

MAP-PDMA

José Espírito Santo

Read more
School of Sciences of the University of Minho,… | | 09:00

ALC Meeting 2021

The ALC Meeting 2021 is organized by the research group Algebra,…

Read more
hybrid format | | 12:00

Determinantal Inequalities in Positivity classes of Matrices.

Prof. Charles Johnson

 

 

Read more
University of Trás-os-Montes e Alto Douro | -

New Trends in Quaternions and Octonions

The Fifth Workshop New Trends in Quaternions and Octonions…

Read more
online | | 14:30

A new approach in index theory

Mohammed Berkani

Read more
online | | 14:30

B-Fredholm theory and Drazin invertibility

Mohammed Berkani

Read more
Pole I of ECVA - Geosciences Auditorium, UTAD |

Open day of CMAT

The Open Day of CMAT is dedicated to research…

Read more
online | -

ENCONTRO NACIONAL SPM 2021 :: Sessões paralelas

The following sessions are part of the scientific programme of the…

Read more
online | | 14:00

Contextuality in logical form: Lindenbaum–Tarski duality for partial CABAs

Rui Soares Barbosa  (INL)

 

Read more
online | | 14:30

On the eccentric cousin and relatives

Patrícia Beites

Read more
| | 14:30

Skew X categories and structural proof theory

Tarmo…

Read more
online | | 15:00

Sequences of quaternions: A summary on my recent research journey

Paula Maria Machado Cruz…

Read more
online | | 15:00

Topics in the Nonnegative Inverse Eigenvalue Problem

Charles Johnson

Read more
online | | 12:00

Webinar ALC - World Logic Day

José Espírito Santo

Read more
online | | 11:00

Weighted pseudo core inverses in rings

Huihui Zhu

Read more
online | | 11:00

A Parallel Algorithm for Solving Tridiagonal Quasi-Toeplitz Linear Systems

Lei Du

Read more
Sala de Seminários do DMAT (sala 3.08), Campus de… | | 14:30

Word problem for kappa-terms over some pseudovarieties of commuting…

José Carlos Costa

Read more