• Machine Learning for Constraint Programming

    ACP Summer School 2023

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

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


Lars Kotthoff

University of Wyoming

Michele Lombardi

Università di Bologna

Dimos Tsouros

KU Leuven

Yingqian Zhang

TU Eindhoven


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

Recordings of all talks are made available on the ACP YouTube channel

Sunday meet-up

We have a meet up (optional) starting at 17:30 (unless it rains) to hang around, grab a drink, and meet fellow summer school participants along the way. We will meet at Sint Donatus Park around 17.30, we will be waiting at the side-entrance next to 'Dierkunde').

Check your email for a whatsapp invitation link and phone numbers, in case you want to join later or don't find it.

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

17:30 - ...

Social event

Guided tour through the center of Leuven

Everyone (optional)
Show details

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 00.10) in the center of the city.

Thanks to our sponsors: