Upcoming/Ongoing Community Service 

---

 

Upcoming/Ongoing Program Committees:

• PC co-Chair of TACAS 2024, IJCAR 2022, TAP 2022, LPAR 2020 and CONCUR 2020

• PC member of LICS 2023, FMICS 2023, POPL 2023, TACAS 2023

Steering Committee: 

• CADE Trustee, 2016-2022

Community:

• Austrian Rigorous Systems Engineering (ARiSE)