activities

Program Committees

2024 AAMAS 2024 (area chair)

2023: QEST 2023 (co-chair), ICLR 2023, IJCAI 2023, ICML 2023, NeurIPS 2023, SETTA 2023

2022: IJCAI 2022, AAMAS 2022, AAAI 2022, ICLR 2022, NeurIPS 2022,

2021: NeurIPS 2021, FM 2021, QEST 2021, ICML 2021, AAMAS 2021, SPIN 2021, AAAI 2021, ADHS 2021, ICLR 2021, FASE 2021

2020: FORMATS 2020 (co-chair), NeurIPS 2020, IJCAI-PRICAI 2020, ICML 2020, SETTA 2020

2019: NeurIPS 2019, QEST 2019, ICANN 2019, SETTA 2019

2018: FORTE 2018, TACAS Artifact Evaluation 2018, PhD-iFM 2018, ICT.OPEN 2018, ICE 2018, SKILL 2018

PhD Committee Member and Referee

• Dr. Simon Jantsch (TU Dresden).

• Leonore Winterer (University of Freiburg, upcoming).

• Dr. Ivan Gavran (MPI-SWS).

• Dr. Alexis Linard

• Dr. Rick Smetsers

Event Organization / Chair

upcoming

• Dagstuhl Seminar 24361: Artificial Intelligence and Formal Methods Join Forces for Reliable Autonomy

• Dagstuhl Seminar 23492: Model Learning for Improved Trustworthiness in Autonomous Systems

• Lorentz Center Workshop: Predictive Maintenance: Let Data Maintain the Model

past events

• Lorentz Center Workshop: Rigorous Automated Planning

• Flavors of UNCerTainty in Verification, Planning, and OpTimizatiON (FUNCTION 2021, at ICALP 2021)

• Dagstuhl Seminar 18121: Machine Learning and Model Checking Join Forces

• Robots, Morality, and Trust through the Verification Lens (ReMOTE 2018, at CAV 2018)

• Formal Approaches to Explainable VERification (FEVER 2017, at CAV 2017)

External Reviewer (incomplete list)

ACC, ACM Transactions on Modeling and Computer Simulation, ATVA, CAV, CDC, CONCUR, FACS, FM, FMOODS–FORTE, FORMATS, FOSSACS, FSEN, FSTTCS, FTSCS, HSCC, IFM, IJCAI, Petri Nets, QEST, SIMULTECH, Journal of Automated Reasoning, Journal of Systems and Software, International Journal of Robotics Research, TACAS, TASE, Theoretical Computer Science, IEEE Transactions of Reliability, IEEE Transactions on Automatic Control, and VMCAI