|
Events
- SAT/SMT/AR Summer School 2026, part of FLoC 2026
- VERIFAI 2026, workshop on verification and AI
- ESSLLI European Summer School in Logic, Language and Information
- Machine Learning for Solvers and Provers (ML4SP), invited speaker 2025 [slides-handout] [slides-animated]
- 1st Prague Workshop on Neural Networks and Reasoning, invited speaker
- SC2 2025, Satisfiability Checking and Symbolic Computation, co-chair [proceedings]
- PoS 2025, Pragmatics of SAT, co-chair [proceedings]
- 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 [proceedings]
- Beyond NP Workshop, invited speaker
- International Workshop on Quantified Boolean Formulas and Beyond 2014, invited speaker
Colleagues, Collaborators, and Friends
- Elen Janota
- Marek Dančo, [MSc Thesis]
- Stefan Ratschan
- Martin Suda
- Jan Jakubův
- Pedro Orvalho
- Jelle Piepenbrock [Thesis]
- 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: 2026-03-26 20:30:18 |