Ku Leuven, where Prof. Tias Guns is teaching, is organizing the ACP (Association for Constraint Programming) Summer School on “Machine Learning for Constraint Programming”, from 10 to 14 July.
The summer school will have a mix of talks and hands-on lab sessions, given by experts in the integration of ML and constraint solving.
The expert that will be intervening will be: Hendrik Blockeel, Quentin Cappart, Ferdinando Fioretto, Tias Guns, Elias Khalil, Wouter Kool, Lars Kotthoff, Michele Lombardi, Dimos Tsouros and Yingqian Zhang.
Topics will range from introductory sessions to sessions on automated tuning, prediction-based solving, reinforcement learning for branching and solution approximation, decision-focused learning, constraint acquisition and more. Only basic ML/constraint knowledge is required to participate.
There will also be a poster session for participants to present their own work, and a small-groups hackathon to experiment and get feedback on integrations that they care about.
To know more about and to register visit: https://school.a4cp.org/summer2023/
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.