Integrated Member
Associate Professor
Speaker: Carla Ferreira (CMAT)
ALC | Algebra, Logic and Computation
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
In International Conference New Horizons in Education - Reis C., Isman A. & Neves, F. S. (editores), Guarda. | 2011
Covilhã: APM- Associação de Professores de Matemática | 2011
C. Costa
International Conference New Horizons in Education | 2011
Catarino, P.. 2011. "The Alto Douro “wine coopers’ pi", Trabalho apresentado em International Conference on new Horizons in Education – Inte2011, In International Conference on new Horizons in Education – Inte2011, Guarda | 2011
International Conference on new Horizons in Education Inte2011 | 2011
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | 2010
Materials Science Forum | 2010
Applied Mathematics and Computation | 2010
Discrete Math. Algorithms Appl. | 2010
C.R. Johnson
Related Events
Sala de Seminários do DMAT e online |
-
| 14:30
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
Skander Belhaj
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…
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 |
| 15:00
Paula Maria Machado Cruz…
online |
| 11:00
Lei Du
Sala de Seminários do DMAT (sala 3.08), Campus de… |
| 14:30
José Carlos Costa