Machine Learning and Formal Methods

Published: 2026-05-12

Topic: Machine Learning and Formal Methods

When: 10 June, 2026 

• Light lunch from 12.00 to 13.00 CET
• Presentations and discussions 13.00 to 17.00 CET

Where: E:1406, E-building LTH, Klas Anshelms väg 10 / Ole Römers väg 3, Lund, Sweden

Expected audience: The event is primarily aimed at researchers and professionals in the field.

Registration: To participate is free of charge. Welcome to sign up at ai.lu.se.

Host and moderator: Amir Aminifar, Senior lecturer, Secure and Networked Systems, Lund University

Confirmed speakers

• Prof. Yasser Shoukry, University of California, Irvine, USA
• Prof. Alessandro Biondi, Scuola Superiore Sant'Anna, Italy
• Dr. Caterina Urban, Inria & École Normale Supérieure | Université PSL, Paris, France
• Prof. Gerardo Schneider, Chalmers and the University of Gothenburg, Sweden

Registration

To participate is free of charge. Sign up at ai.lu.se/2026-06-10b/registration.

Organisation

This event is organized in collaboration between AI Lund and ELLIIT 

Contact

• Amir Aminifar, Senior lecturer, Secure and Networked Systems, Lund University
• Susanna Lönnqvist, AI & Digitalization, Lund University
• Jonas Wisbrant, AI Lund