Blog/All News
Welcome! This page is an attempt to systematically log my participation to conferences, workshops, but also collect talks and notes from 2024-onward.
| Title | Date |
|---|---|
| BIRS Workshop Theory and Practice of SAT and Combinatorial Solving | Jan 11, 2026 |
| SAT’25 | Aug 15, 2025 |
| BARCELONA DISCRETE MATHEMATICS MEETING 2025 (BDMM) | Jan 30, 2025 |
| New article in APAL | Dec 10, 2024 |
|
Dagsthul Seminar SAT and Interactions |
Oct 12, 2024 |
| Mathematical Aspects of Learning Theory’24 | Sep 9, 2024 |
| Proof Complexity Workshop | Sep 3, 2024 |
| New article in Artificial Intelligence | Aug 29, 2024 |
| SAT’24 | Aug 20, 2024 |
| IJCAI’24 | Aug 3, 2024 |
| RaTLoCC’24 | Jun 14, 2024 |
|
Oberwolfach workshop Proof Complexity and Beyond |
Mar 24, 2024 |
| New article in JAIR | Feb 11, 2024 |
No matching items