|
Events
- SC2 2025, Satisfiability Checking and Symbolic Computation, co-chair
- PoS 2025, Pragmatics of SAT, co-chair
- FMCAD 2024, Formal Methods in Computer-Aided Design, local organization chair
- Maratona Inter-Universitária de Programação, MIUP 2020, coordenador
- Maratona Inter-Universitária de Programação, MIUP 2019
- The 22nd International Conference on Theory and Applications of Satisfiability Testing, SAT 2019, co-chair
Colleagues, Collaborators, and Friends
- Josef Urban
- Martin Suda
- Jan Jakubův
- Pedro Orvalho
- Jelle Piepenbrock
- Petra Hozzová
- 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: 2025-04-14 12:01:15 |