Activities

2026

CICM 2026

September 21-25, 2026; member of the local organizing committee, together with David E. Narváez and Luka Vrečar.

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).