Arrangör

AI Lund

Publicerad på

Beskrivning

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 Where: E:1406, E-building LTH, Klas Anshelms väg 10 / Ole Römers väg 3, Lund, Sweden

Målgrupp

Taggar