Speaker: Carla Ferreira (CMAT)

## 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

## Last Publications

Springer Proceedings in Mathematics and Statistics | 2023

S. Ricardo

Linear and Multilinear Algebra | 2023

Springer Proceedings in Mathematics and Statistics | 2023

Journal of Logical and Algebraic Methods in Programming | 2023

The Electronic Journal of Linear Algebra | 2023

Annales Mathematicae Silesianae | 2023

Computational and Applied Mathematics | 2023

Hcini Fahd

Notes on Number Theory and Discrete Mathematics | 2023

## Related Events

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

Speaker: René Gazzari, CMAT

SPEAKER: Pedro Patrício (CMAT)

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

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

…Orador: René Gazzari

(investigator do CMAT)

…

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

This biennial meeting aims at bringing together mathematicians,…

**Skander Belhaj**

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

Prof. Charles Johnson

**The Fifth Workshop New Trends in Quaternions and Octonions…**

The **Open Day of CMAT** is dedicated to research…

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

Rui Soares Barbosa (INL)

** **

**Paula Maria Machado Cruz…**

**Lei Du**

**José Carlos Costa**