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
We are very pleased to announce that our coordinator, Sylvie Thiebaux, is at the prestigious IJCAI23 conference both as Area Chair and as presenter of the paper "Formal Explanations of Neural Network Policies for Planning".
The workshop for Hierarchical Planning (HPlan) was founded in 2018 and is carried out since then every year at the International Conference of Automated Planning and Scheduling (ICAPS). Among the Organizing Committee of this 2023 edition is Daniel Höller from Saarland University, member of the TUPLES project.
The 2023 ICAPS (International Conference on Automated Planning and Scheduling) featured an array of captivating workshops, and one that involved many TUPLES’ members was the Workshop on Robust Decision Making for Planning and Scheduling (RDDPS).
Rebecca Eifler and Jörg Hoffmann from TUPLES are members of the organizing and steering committees respectively. Daniel Holler, member of the TUPLES Consortium, will give an invited talk.