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

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

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

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

Communications in Computer and Information Science | 2021

Linear and Multilinear Algebra | 2021

Bulletin of the Australian Mathematical Society | 2021

Revista de la Real Academia de Ciencias Exactas, Físicas y Naturales. Serie A. Matemáticas | 2021

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

Journal of Mathematical Chemistry | 2021

Studia Logica | 2020

Gilda Ferreira

Numerical Linear Algebra with Applications | 2020

## Related Events

Prof. Charles Johnson

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

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