Activities
CICM-19, the 2026 installment of CICM
2023
- Automated mathematics: integrating proofs, algorithms and data
- October 1-6, 2023; organizer of the Dagstuhl Seminar 23401, together with Andrej Bauer, Florian Rabe and Nicolas Thiéry.
- 10th Slovenian Conference on Graph Theory
- June 18-24, 2023; member of the organizing committee.
2022
- Independent checking of the local election results in Slovenia
- With Andrej Bauer and in collaboration with the state election commission of the Republic of Slovenia, website (in Slovene).