Rui Soares Barbosa (INL)

**Cancelled**

The research group of Algebra, Logic and Computation is composed of 18 PhD members and 2 PhD student.

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.

Integrated Member

Associate Professor

Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, Wadern/Saarbruecken, Germany | 2020

Numerical Linear Algebra with Applications | 2020

Structural Concrete | 2020

Computational and Applied Mathematics | 2020

Applied Mathematics and Computation | 2020

online |
| 14:00

Rui Soares Barbosa (INL)

**Cancelled**

online |
| 15:00

**Paula Maria Machado Cruz Catar**

online |
| 11:00

**Lei Du**

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

**José Carlos Costa**