Jesse Davis and the Verifying Learning AI Systems (VeriLearn) workshop – ECAI23
-
12/05/2023
-
News

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
Relive the Award Ceremony and gain insights into how the winners turned a real-world logistics problem into a showcase of trustworthy, scalable, and explainable AI.
We are proud to highlight the achievement of Bernardino Romera-Paredes and Kerry He from Hiverge, who won both Scalability tracks (Deterministic and Probabilistic).
A unique learning experience, moving from theory to practice and exploring the challenges of trustworthy AI in a realistic industrial setting.
SIA AI received a Special Mention in the BelugaChallenge for their original OR-based approach to a complex Airbus logistics problem.