• Machine Learning for Constraint Programming

    ACP Summer School 2023

    • Leuven, Belgium
    • July 10 To 14, 2023
    Starting in:
ACP SUMMER SCHOOL 2023

on Machine Learning for Constraint Programming

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.

Confirmed speakers

Hendrik Blockeel

KU Leuven

Quentin Cappart

Polytechnique Montreal

Ferdinando Fioretto

Syracuse University

Tias Guns

KU Leuven

Elias Khalil

University of Toronto

Wouter Kool

ORTEC

Lars Kotthoff

University of Wyoming

Michele Lombardi

Università di Bologna

Dimos Tsouros

KU Leuven

Yingqian Zhang

TU Eindhoven

Schedule

  • Monday
    10 July2023
  • Tuesday
    11 July2023
  • Wednesday
    12 July2023
  • Thursday
    13 July2023
  • Friday
    14 July2023

09:00 - 10:30

Invited talk

Welcome and Intro to Constraint Programming

Tias Guns
KU Leuven
Show details

10:30 - 11:00

Coffee break

11:00 - 12:30

Invited talk

Introduction to Machine Learning

Hendrik Blockeel
KU Leuven
Show details

12:30 - 14:00

Lunch break

14:00 - 15:30

Lab Session

Perception-based solving with CPMpy

Tias Guns
KU Leuven
Show details

15:30 - 16:00

Coffee break

16:00 - 17:30

Invited talk

End-to-end Constrained Optimization Learning

Ferdinando Fioretto
Syracuse University
Show details
Location

Leuven, Belgium

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.

Thanks to our sponsors: