Jesse Davis and the Verifying Learning AI Systems (VeriLearn) workshop – ECAI23
-
12/05/2023
-
NewsNews
Prof. Jesse Davis (KU Leuven) and collaborators are organizing The Verifying Learning AI Systems (VeriLearn) workshop in conjunction with the 26th European Conference on Artificial Intelligence, to be held in Krakow, Poland (ECAI23).
The goal of the workshop is to bring together researchers interested in exploring how verification and machine learning can be combined to provide strong guarantees about software that learns and adapts itself based on past experiences.
Papers are solicited on topics such as representations and languages that facilitate reasoning and verification, applications and extensions of software verification techniques in the context of machine learning, and ways to evaluate aspects of AI systems relevant from a trust and safety perspective.
In addition to these technical topics, the workshop also welcomes papers that address ethical, privacy, and societal concerns about AI. The use of verification in addressing these concerns will be highlighted through case studies showing illustrative applications where verification is used to tackle issues related to safety and trustworthiness.
Further information here https://dtai.cs.kuleuven.be/events/VeriLearn2023/index.php
Latest News
At the 2025 edition of the International Conference on Machine Learning (ICML), Laurens Devos and other members of KU Leuven presented their latest research on model compression.
At the World Conference on eXplainable AI (XAI) in Istanbul, TUPLES researchers Rebecca Eifler (LAAS-CNRS) and Guilhem Fouilhé (IRIT) presented IPEXCO, an innovative platform that brings humans and planners into dialogue through interactive goal-conflict explanations.
We’re proud to share that members of the TUPLES consortium — including Daniel Höller, Jörg Hoffmann, and our coordinator Sylvie Thiebaux — are on the organizing committee of the RIPL Workshop (Reliability in Planning and Learning), part of the prestigious ICAPS 2025 conference.
A recent article in the Czech magazine Nový Prostor, featuring our partners at the Faculty of Electrical Engineering at CVTU (Czech Technical University in Prague), offers a clear and accessible view of how TUPLES technology is already making a difference in urban waste collection — one of the project’s five real-world use cases.
