ALC | Algebra, Logic and Computation

About

The research group of Algebra, Logic and Computation is composed of 19 PhD members, 6 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

Last Publications

Journal of Logical and Algebraic Methods in Programming | 2023

Maria Frade

Luís Pinto

Revista Binacional Brasil-Argentina: Diálogo entre as ciências | 2023

Renata Vieira

Francisco Alves

#Tear: Revista de Educação, Ciência e Tecnologia | 2023

Renata Vieira

Francisco Alves

Related Events

: Sala B4009 (sala de seminários do DMAT),… | - | 12:00

Speaker: Charles Johnson (The College of…

CPII - Campus de Gualtar, INL, Centro Ciência Viva | - | 09:30

Terá lugar em Braga, de 8 a 10…

Seminar Room, Department of Mathematics | - | 14:30

Speaker: Célia Borlido, Centro…

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

Speaker: Cláudia Mendes Araújo

University of Minho | - | 09:00

CMAT will host the Final Conference of the…

DMAT Lab4 and ECUM amphitheater |

18 January 2024, DMAT Lab4 and ECUM amphitheatre

Sala de Seminários do DMAT | - | 12:00

Speaker: Diana Costa (LASIGE and DI/FCUL) 

University of Minho | - | 09:20

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

Sala de Seminários do DMAT | - | 12:00

CANCELLED

Sala de Seminários do DMAT | - | 12:00

Orador :: Prof Charles Johnson (The College…

Universidade de Trás-os-Montes e Alto Douro | - | 09:30

This is the 6th CMAT's Open Day, an initiative of the Centre…

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

Data: 13 de Julho, 14h30m

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

Speaker: Carla Ferreira (CMAT)

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

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

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

Speaker: René Gazzari, CMAT

CMAT | - | 14:30

SPEAKER: Pedro Patrício (CMAT)

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

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

| | 12:00

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

hybrid format | | 15:00

Orador: René Gazzari

(investigator do CMAT)

 

University of Minho | -

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

Universidade do Algarve, Faro | - | 09:00

This biennial meeting aims at bringing together mathematicians,…

hybrid format | | 11:00

Nelson Martins-Ferreira

Online | - | 16:15

MAP-PDMA

José Espírito Santo

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

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

hybrid format | | 12:00

Prof. Charles Johnson

 

 

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

The Fifth Workshop New Trends in Quaternions and Octonions…

online | | 14:30

Mohammed Berkani

online | | 14:30

Mohammed Berkani

Pole I of ECVA - Geosciences Auditorium, UTAD |

The Open Day of CMAT is dedicated to research…

online | -

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

online | | 14:00

Rui Soares Barbosa  (INL)

 

online | | 14:30

Patrícia Beites

online | | 15:00

Paula Maria Machado Cruz…

online | | 15:00

Charles Johnson

online | | 12:00

José Espírito Santo

online | | 11:00

Huihui Zhu

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

José Carlos Costa