jun
Machine Learning and Formal Methods
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 [dot] lonnqvist [at] eit [dot] lth [dot] se (Susanna Lönnqvist), ELLIIT, Lund University
- Jonas Wisbrant, AI Lund
Om evenemanget
Plats:
E:1406, E-building LTH, Klas Anshelms väg 10 /Ole Römers väg 10, Lund, Sweden
Kontakt:
susanna [dot] lonnqvist [at] eit [dot] lth [dot] se