Committees
Member of the Program Committee:
CI-BD-SOQE 2026, the Workshop on Craig Interpolation, Beth Definability, and Second-Order Quantifier Elimination Webpage
WiL 2025: 9th International Workshop for Women in Logic, Birmingham, UK.
TbiLLC 2025: International Tbilisi Symposium on Logic, Language & Computation.
The Proof Society Workshop and School 2024, Birmingham, UK.
Czech Gathering of Logicians and Kurt Gödel Day 2024, Brno, Czechia.
AWPL 2024: 6th Asian Workshop on Philosophical Logic, 2024, Sapporo, Japan.
Member of the Organizing Committee:
AiML 2024, Prague, Czechia.
Proof Society Autumn School and Workshop 2022, Utrecht, The Netherlands.
WoLLIC 2019, Utrecht, The Netherlands.
Member of the evaluation jury to decide on The Best Student Award, Proof Society Workshop 2025, Ghent, Belgium and Proof Society Workshop 2023, Barcelona, Spain.
Selected workshop and school participation
Programme on “Logical Foundations of Complexity Theory” at the Isaac Newton Institute for Mathematical Sciences (INI), Cambridge, UK, November 2026.
"2025 Clay Research Conference", Mathematical Institute, University of Oxford, October 2025.
"Workshop: Proof Representations: From Theory to Applications", Banff International Research Station for Mathematical Innovation and Discovery (BIRS), Canada, June 2025.
"Proof Representations: From Theory to Applications", Dagstuhl, Germany, August 2024.
Trimester Program "Prospects of Formal Mathematics" - HIM, Bonn, Germany, August 2024.
Oberwolfach Workshop - "Mathematical Logic: Proof Theory, Constructive Mathematics", Oberwolfach, Germany, November 2023.
FEALORA farewell workshop, Špindlerův Mlýn, Czechia , November 2018.
Workshop on proof complexity, Dagstuhl, Germany 2018.
“Types, Sets and Constructions” Trimester Program, Hausdorff Research Institute for Mathematics, Bonn, Germany, May-August 2018.
A Special Semester on Computational and Proof Complexity, Saint Petersburg, Russia, April-June 2016.