Future Events I have Involvement With

AISoLA 2026
14th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation - with focus on AI.
Special track titled: AI Assisted Programming.

Kos, Greece, October 27-31, 2026.

(my role: Co-organizer of special track together with Wolfgang Ahrendt and Bernhard Aichernig).