service
Other professional activities that fill my inbox.
Program Committees
- 2026, International Conference on Concurrency Theory (CONCUR). PC chair.
- 2025, Highlights of Logics, Games and Automata (HIGHTLIGHTS). PC member.
- 2025, Foundations of Software Science and Computation Structures (FoSSaCS). PC member.
- 2024, Symposium on Games, Automata, Logics, and Formal Verification (GandALF) PC member.
- 2023, Mathematical Foundations of Computer Science (MFCS). PC member.
- 2023, Formal Modeling and Analysis of Timed Systems (FORMATS). PC member.
- 2023, Symposium on Games, Automata, Logics, and Formal Verification (GandALF) PC member.
- 2023, International Symposium on Temporal Representation and Reasoning (TIME). PC member.
- 2021, Reachability Problems (RP). PC co-chair.
- 2021, ACM/IEEE Symposium on Logic in Computer Science (LICS). PC member.
- 2021, Highlights of Logics, Games and Automata (HIGHTLIGHTS). PC member.
- 2020, Formal Modeling and Analysis of Timed Systems (FORMATS). PC member.
- 2019, Reachability Problems (RP’19). PC member.
Organisation
- 2026, CONFEST. General Co-chair.
- 2024, QEST+FORMATS. Publicity chair.
- 2022, Trends in Graph and Stochastic Games. Co-organiser.
- 2021, Reachability Problems (RP). Local organiser.
- 2021, British Colloquium for Theoretical Computer Science (BCTCS).
- 2019, Autobóz’19, July 12-19 2019. Research camp on Logic, Automata, and Games. Co-organiser.
- 2017, Gregynog 71717, July 03–07 2017. Workshop on Vector Addition Systems. Co-organiser.
- 2015, DIMAP Logic Day, June 1st 2015. Workshop held at the University of Warwick. Co-organiser.