|
Events
- FMCAD 2024, Formal Methods in Computer-Aided Design
- Maratona Inter-Universitária de Programação, MIUP 2020
- Maratona Inter-Universitária de Programação, MIUP 2019
- The 22nd International Conference on Theory and Applications of Satisfiability Testing, SAT 2019
Colleagues, Collaborators, and Friends
- João Araújo
- Josef Urban
- João Marques-Silva
- Inês Lynce
- Vasco Manquinho
- Radu Grigore
- Alexey Ignatiev
- Ruben Martins
- Jan Mikulka, Gallery
- William Klieber
|
|
|
Last updated: Sep 11, 2019 17:22:51 AM |