Future Events I have Involvement With

AISoLA 2025
13th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation - with focus on AI. Special track titled: AI Assisted Programming. Rhodes, Greece, November 1-5, 2025. (Co-organizer of track together with Wolfgang Ahrendt and Bernhard Aichernig).