The summer school will offer a wide range of talks and hands-on sessions on the use of Machine Learning for Constraint Programming.
The program is oriented to researchers in constraint solving (constraint programming, knowledge representation, SAT/SMT solving and more) as well as those at the intersection of constraint solving and machine learning. The program consists of a mix of invited talks and hands-on lab sessions.
Leuven is a charming and historical city in Belgium known for its beautiful architecture, vibrant student life, and rich cultural heritage. It is home to the oldest Catholic university in the world, the KU Leuven, and boasts many medieval and Renaissance-style buildings. Additionally, Leuven is renowned for its beer culture, with the headquarters of Stella Artois located in the city and several microbreweries offering unique and delicious brews.
All invited talks and lab sessions will take place in the "Van den Heuvel Institute" (VHI Aula 01.29) in the center of the city.
The summer school provides shared accommodation for students at the Ibis hotel Leuven (see registration page for more details). Several other hotels are nearby and can be booked via sites such as Booking.com. Accomodation can also be booked via the summerschool at reduced prices by filling in this form and sending it to acpsummerschool2023@kuleuven.be by 9/06/2023.