|
Events
- Machine Learning for Solvers and Provers (ML4SP), invited speaker [slides-handout] [slides-animated]
- 1st Prague Workshop on Neural Networks and Reasoning, invited speaker
- 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
- Days in Logic 2022, invited tutorial
- Maratona Inter-Universitária de Programação, MIUP 2020, coordinator
- Maratona Inter-Universitária de Programação, MIUP 2019, organization committee
- The 22nd International Conference on Theory and Applications of Satisfiability Testing, SAT 2019, co-chair
- Beyond NP Workshop, invited speaker
- International Workshop on Quantified Boolean Formulas and Beyond 2014, invited speaker
Colleagues, Collaborators, and Friends
- Marek Dančo, MSc. Thesis
- Stefan Ratschan
- Martin Suda
- Jan Jakubův
- Pedro Orvalho
- Jelle Piepenbrock
- 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-11-24 11:32:34 |