Upcoming/Ongoing Community Service
Selected Steering and Program Committees:
President and Steering Committee Chair of the
ETAPS Association
, running the
ETAPS conferences
PC co-Chair of
RP 2024
,
TACAS 2024
,
IJCAR 2022
,
TAP 2022
,
LPAR 2020
and
CONCUR 2020
Associate chair of
POPL 2026
Co-Organizer of the Marktoberdorf Summer School 2025
PC member of
ECAI 2025
,
CAV 2025
,
CADE 2025
Community:
Austrian Rigorous Systems Engineering (ARiSE)