Machine Learning and Formal Methods
The adoption of Artificial Intelligence (AI) and Machine Learning (ML) presents several challenges. One of the most important is the lack of trust in decisions made by AI/ML systems.
Formal methods have long provided a rigorous foundation for verifying software systems, and they may play an important role in increasing trust in AI/ML technologies. This event brings together perspectives from formal methods and AI/ML to explore both the challenges and opportunities involved in developing trustworthy AI/ML systems.
Event details
Topic: Machine Learning and Formal Methods
Date: 10 June 2026
Time: 12:00–17:00 CET
Location: E:1406, E-building, LTH, Klas Anshelms väg 10 / Ole Römers väg 3, Lund, Sweden
Schedule:
12:00–13:00 Light lunch
13:00–17:00 Presentations and discussions
Expected audience: Researchers and professionals working in, or interested in, AI/ML, formal methods, verification, and trustworthy AI.
Registration: Participation is free of charge. Please register at
ai.lu.se/2026-06-10b/registration.
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 University of Technology and University of Gothenburg, Sweden