Jesse Davis and the Verifying Learning AI Systems (VeriLearn) workshop – ECAI23

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. 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.

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

The manufacturing use case is based on well-known scheduling and resource allocation and planning challenges and this use case has a number of special features that make the challenge much more complex. The use case has two applications: robust scheduling of resources and resource allocation for rack systems.

Online collaboration is working fine but sometimes meeting face to face is really a good thing. So we did it for the third time in KU Leuven.

We are part of a broader community of research and development efforts dedicated to advancing AI in a responsible and human-centered manner.

FAI Group, part of the Saarland Informatics Campus, contribution to the TUPLES project and ongoing research efforts in the foundations of AI are significant steps forward in advancing our understanding of this technology and ensuring its safe and responsible use in the future.