This international meeting aims to bring face to face well-known…
About
The research group of Algebra, Logic and Computation is composed of 18 PhD members, 4 PhD students and1 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
Computers & Mathematics with Applications | 2022
Integers | 2022
Mediterranean Journal of Mathematics | 2022
Springer Proceedings in Mathematics and Statistics | 2022
H. Campos
Journal of Logical and Algebraic Methods in Programming | 2022
Trends in Computational and Applied Mathematics | 2022
Numerische Mathematik | 2022
Beresford Parlett
arXiv | 2022
Lecture Notes in Mechanical Engineering | 2022
Related Events
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