The adoption of Artificial Intelligence (AI) and Machine Learning (ML) presents several challenges, among which the lack of trust in the decisions made by such systems remains a major concern. Formal methods have historically provided the foundation for rigorously verifying software systems, and they could play a key role in fostering trust in AI/ML technologies. This event covers a broad range of topics spanning formal methods and AI/ML techniques, with the aim of exploring both the challenges and opportunities involved in developing trustworthy AI/ML systems.

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 as a WASP Lighthouse seminar in collaboration with AI Lund and ELLIIT 

Contact

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