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).

NFM 2026
The 18th NASA Formal Methods Symposium.
Los Angeles, California, USA, May 5-7, 2026.
(my role: PC chair together with Jyo Deshmukh and Alessandro Pinto).