Theory and Practice of Constraint Programming

ACP Summer School 2012

Programme

Andrei Bulatov (Constraints: Counting and Approximation)
Simon Fraser University, Burnaby, Canada
http://www.cs.sfu.ca/~abulatov/

Witold Charatonik (Set Constraints)
Wroclaw University, Poland
http://www.ii.uni.wroc.pl/~wch/

Agostino Dovier (Constraint Programming and Biology)
Udine University, Italy
http://sole.dimi.uniud.it/~agostino.dovier/

Willem Jan van Hoeve (Operations Research Techniques in Constraint Programming)
Carnegie Mellon University, Pittsburgh, USA
http://www.andrew.cmu.edu/user/vanhoeve/

Peter  Jeavons (Constraints and Complexity)
University of Oxford, UK
http://www.cs.ox.ac.uk/peter.jeavons/

Michele Lombardi (Resource Allocation and Scheduling)
University of Bologna, Italy
http://ai.unibo.it/people/MicheleLombardi

Sept 24-28 Monday Tuesday Wednesday Thursday Friday
9:00 - 9:45 Van Hoeve Lombardi Dovier Jeavons Bulatov
9:55 - 10:40 Van Hoeve Van Hoeve Dovier Jeavons Bulatov
10:40 - 11:00 Coffee Break Coffee Break Coffee Break Coffee Break Coffee Break
11:00 - 11:45 Lombardi Van Hoeve/Lombardi Jeavons Charatonik Charatonik
11:55 - 12:40 Lombardi Van Hoeve/Lombardi Jeavons Charatonik Charatonik
12:40 - 14:00 Lunch break Lunch break Lunch break Lunch break Lunch break
14:00 - 14:45 Van Hoeve Dovier   Bulatov  
14:45 - 15:05 Coffee Break Coffee Break   Coffee Break  
15:05 - 15:50 Van Hoeve Dovier   Bulatov  

 

All classes take place in room 119 in the institute building

The lecturers have made their slides available for download.