Community Service
Events Organized
- 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
PC Member
- 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
SC Member
Invited Talks
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
Reviewing
- 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
