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
EDULEARN16 Proceedings | 2016
EDULEARN16 Proceedings | 2016
Armando Soares
ICERI2016 Proceedings | 2016
ICERI2016 Proceedings | 2016
Inovação Pedagógica no Ensino Superior: Ideias (e) Práticas, Vol 2 | 2016
CISPEE 2016 - 2nd International Conference of the Portuguese Society for Engineering Education, Proceedings | 2016
Booklet of the 13th International Conference on Hands-on-Science: The Heart of Science Education. Costa MF, Dorrío BV, Maria Antónia Forjaz, Trna J, Trnova E (Eds.); Hands-on Science Network | 2016
Revista Brasileira de Engenharia Biomedica | 2016
Discrete Mathematics and Theoretical Computer Science | 2016
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