Skip to main content
User account menu
Log in
Toggle navigation
Main navigation
Centre
Members
Publications
Publications
Preprints
Theses
Research Groups
News & Events
News
Meetings
Seminars
Colloquia
Outreach
Other
Projects
CMAT-LABs
EUTypes, European network on types for programming and verifications
Completed
Research Group
ALC | Algebra, Logic and Computation
Start Date
2016-03-21
End Date
2020-03-30
Internal Coordinator
Luís Filipe Ribeiro Pinto
Integrated Member
Associate Professor
Internal Members
José Espírito Santo