Ancillary activities

Book editing  

• Co-editor of the post-proceedings of the TbiLLC series 2023 , LNCS series of Springer.  

Committees  

• Member of the Program Committee, the Proof Society Workshop and School 2024, Birmingham, UK. 

• Member of the Program Committee, Czech Gathering of Logicians and Kurt Gödel Day 2024, Brno, Czechia.

• Member of the Organizing Committee, AiML 2024, Prague, Czechia.  

• Member of the Program Committee, AWPL 2024: 6th Asian Workshop on Phi losophical Logic, 2024, Sapporo, Japan.  

• Member of the evaluation jury to decide on The Best Student Award , Proof Society Workshop 2023, Barcelona, Spain.  

• Member of the Organizing Committee, Proof Society Autumn School and Workshop 2022, Utrecht, The Netherlands.  

• Member of the Organizing Committee, WoLLIC 2019, Utrecht, The Netherlands.

Personal Grants  

• Aspasia fund 2020 - 2021 ( 7000 euros ).

Selected workshop and school participation

• (Upcoming) "Proof Representations: From Theory to Applications", Dagstuhl, Germany, August 2024.

• (Upcoming) 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.