Activities

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