Machine Learning and Formal Methods
10 June 2026 12:00 to 17:00 | Seminar 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 technologi
https://www.staff.lu.se/calendar/machine-learning-and-formal-methods - 2026-07-10
