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.


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