Events
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
Josef Urban
Joao 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