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

## About

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

PARADIGMA | 2020

Francisco Alves

Frontiers of Mathematics in China | 2020

SIAM Journal on Matrix Analysis and Applications | 2020

B. PARLETT

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

Computational and Applied Mathematics | 2020

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

Studia Logica | 2020

Gilda Ferreira

Structural Concrete | 2020

## Related Events

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

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

Rui Soares Barbosa (INL)

** **

**Paula Maria Machado Cruz Catar**

**Lei Du**

**José Carlos Costa**