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.compile.lu.se/calendar/machine-learning-and-formal-methods-0 - 2026-06-05
