Future Events I have Involvement With

RV 2024
24th International Conference on Runtime Verification. Istanbul, Turkey, October 15-18, 2024. (Steering committee member of RV).

AISoLA 2024
12th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation - with focus on AI. Special track titled: AI Assisted Programming. Crete, Greece, October 30 - November 3, 2024. (Co-organizer of track together with Wolfgang Ahrendt and Bernhard Aichernig).