Book editing
Co-editor of the post-proceedings of the TbiLLC series 2023 , LNCS series of Springer.
Committees
Member of the Program Committee:
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 2023, Barcelona, Spain.
Personal Grants
Aspasia fund 2020 - 2021 ( 7000 euros ).
Selected workshop and school participation
"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.