Community Service

Dagstuhl Seminar 24361 Artificial Intelligence and Formal Methods Join Forces for Reliable Autonomy, September 2024
Dagstuhl Seminar 24231 Stochastic Games, June 2024
LiVe 2024: 8th workshop on Learning in Verification, satellite event of ETAPS, April 2024
LiVe 2023: 7th workshop on Learning in Verification, satellite event of ETAPS, April 2023
ETAPS 2022 (general chair)
FOMEO 2022: 2nd Workshop on Formal Methods Education Online, proposed as a satellite event of FLoC, July 2022
LiVe 2022: 6th workshop on Learning in Verification, satellite event of ETAPS, April 2022
FOMEO 2021: Formal Methods Education Online, satellite event of ICALP, July 2021
LiVe 2021: 5th workshop on Learning in Verification, satellite event of ETAPS, March 2021
LiVe 2020: 4th workshop on Learning in Verification, satellite event of ETAPS, April 2020 postponed due to COVID-19 until next LiVe edition
LiVe 2019: 3rd workshop on Learning in Verification, satellite event of ETAPS, April 2019
Game Solving: Theory and Practice, satellite event of ICALP, July 2018
LiVe 2018: 2nd workshop on Learning in Verification, satellite event of ETAPS, April 2018
Dagstuhl Seminar 18121 Machine Learning and Model Checking Join Forces, March 2018
Workshop on Formal Methods for Attack Trees, Munich, November 2017
LiVe 2017: 1st Workshop on Learning in Verification, satellite event of ETAPS, April 2017

2025: AAAI-DC, CONCUR, FMICS, ICALP, ICTAC, RV, VMCAI
2024: FMICS, ICTAC, ISoLA (track co-organizer), LATIN, LiVe (chair), MOVEP
2023: AISoLA (track co-organizer), CD-MAKE, DAV, FORMATS, ICALP, ICTAC, LiVe (chair), QEST, TiCSA
2022: LICS, LiVe (chair), QEST, TACAS, VMCAI
2021: CMSB, CONCUR, HSCC, LiVe (chair), QEST, TACAS
2020: CMSB, GandALF, ICTAC, LiVe (co-chair), NETYS, QEST, TACAS, TTCS, VMCAI
2019: ACSD, FORMATS, GandALF, ICTAC, LiVe (co-chair), MoRe, QAPL, SR, TACAS, VMCAI
2018: ACSD, CAV (AEC), FORMATS, ICTAC, LiVe (co-chair), QAPL, QEST, SR, TACAS
2017: ACSD, FORMATS, LiVe (co-chair), QAPL, QEST, SOFSEM, TACAS, TIME, TTCS
2016: ECAI, MEMICS
2015: QAPL

I would like to support continuous summer-school activities to raise awareness of importance of TCS among the young researchers and as means of building bridges to other areas of CS, in particular AI.
Further, I would like to help preserving the balance within the brotherhood of TCS "Volume A" and "Volume B" through equal efforts in advertisement and prize-awarding activities.

Invited talks at conferences, workshops, summer schools

Workshop on Verifiable and Robust AI (VRAI) 2023
Marktoberdorf Summer School 2023
AlgoMaNet Summer School 2023
Logic Mentoring Workshop (at CSL) 2023
Quantitative Aspects of Variant-rich Systems (QAVS) 2022
Quantitative Logics and Automata (seminar at TU Dresden)
Modern Trends in Informatics (seminar at Brno University of Technology)
Formal Methods and Models (seminar at LaBRI) 2021
11th International Symposium on Games, Automata, Logics, and Formal Verification (GandALF) 2020
IRIF Modelling and Verification (seminar at Paris Diderot University) 2020
16th International Conference on Quantitative Evaluation of SysTems (QEST) 2019
Workshop on Security practices for Internet of Things (SPIoT) 2019
6th International Workshop on Synthesis of Complex Parameters (SynCoP) 2019
Highlights of Logic, Games and Automata (Highlights) 2018
2nd School on Foundations of Programming and Software Systems: Logic and Learning (FLOC + EATCS + SIGLOG summer school) 2018
Learning in Verification and Verification of Learning (seminar organized by the universities of Brussels and Mons) in 2018
Logic and Learning (workshop at Alan Turing Institute of data science) in 2018

Invitation-based seminars and workshops

Czech-French AI Workshop 2022
Rigorous Automated Planning (Lorentz Center Workshop) 2022
Bellairs workshop on Learning and Verification in 2019
Google Summer of Code (at Google in Munich) in 2017
Quantitative Systems: Theory and Applications (QuaSy) 2017
KiMfest 2017
Trends and Challenges in Quantitative Verification (Mysore workshop) 2016
International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (Isola): 2016, 2018, 2020 (moved to 2021), 2022, 2023 (co-organizing the track Verification meets Learning and Statistics)
Dagstuhl seminars:
Verification and Synthesis of Human-Robot Interaction 2019
Machine Learning and Model Checking Join Forces 2018 (co-organizer)
Formal Synthesis of Cyber-Physical Systems 2017
Game Theory in AI, Logic, and Algorithms 2017
Computer-Assisted Engineering for Robotics and Autonomous Systems 2017
Non-Zero-Sum-Games and Control 2015
Quantitative Models: Expressiveness, Analysis, and New Applications 2014
Quantitative Models: Expressiveness and Analysis 2010

2025: AAAI-Dr for journals (selection): Acta Informatica, Information Processing Letters, Journal of Automated Reasoning, Journal of Computer and System Sciences, Performance Evaluation, Robotics and Automation Letters, Software and Systems Modeling, Theoretical Computer Science, Transactions on Modeling and Computer Simulation, Transactions on Programming Languages and Systems, Transactions on Software Engineering
Reviewer for conferences (selection): CAV, CONCUR, CSL, FoSSaCS, FORMATS, FM, FSTTCS, ICALP, LATA, LICS, MFCS, POPL, QEST, STACS, STOC, TACAS
PhD theses:
Jakob Piribauer: On Non-Classical Stochastic Shortest Path Problems (Dresden University of Technology, Germany, 2021)
Yuliya Butkova: Towards Efficient Analysis of Markov Automata (University of Saarland, Germany, 2020)
Maxime Audinot: Assisted Design and Analysis of Attck Trees (University of Rennes 1, France, 2018)
Enno Ruijters: Zen and the Art of Railway Maintenance (University of Twente, The Netherlands, 2018)
Grant proposals:
Charles University Grant Agency (GAUK)
Czech Science Foundation (GACR, Mathematics&Informatics panel vice-chair)
European Research Council (ERC Advanced/Consolidator/Starting Grants)
French National Research Agency (ANR)
German Research Foundation (DFG)
Israel Science Foundation (ISF)
National Research, Development and Innovation Office, Hungary (NRDI)
Vienna Science and Techno