Videos:

Find below the videos of the lectures given at the Summer School (1 video per lecture):
  • Symmetries in CP (Ian Gent):   lecture 1,    lecture 2,    lecture 3,   lecture 4
  • Continuous constraints  (Frederic Benhamou) (no video recorded)
  • SAT and CSP ( Lucas Bordeaux ):   lecture 1,    lecture 2,    lecture 3,   lecture 4
  • Operations Research in CP ( John Hooker ):   lecture 1,    lecture 2,    lecture 3,   lecture 4
  • CP systems ( Christian Schulte ):    lecture 1,    lecture 2,    lecture 3,   lecture 4
  • Complexity in Combinatorial Problems ( Jerome Lang ):   lecture 1,   lecture 2,   lecture 3,   lecture 4
  • Slides:

    Find below the slides of the courses given at the Summer School:

    Pictures:

    Some pictures of the Summer School:

    Overview

    Since its origin in the mid 80's, Constraint Programming (CP) has become a widely used programming paradigm for solving constraint satisfaction and optimization problems. The distinguishing feature of CP is that it provides a clear distinction between the problem modelling and the algorithms and heuristics used to solve it.

    The third international summer school on constraint programming is organised for PhD students, researchers, and practitioners interested in an extensive introduction to CP concepts such as problem modelling, constraint propagation, global constraints, and search.

    Leading experts in the field will give invited tutorial lectures on different aspects of constraint programming along with practical exercises.

    Program

    The program of the school will include the following courses: The initial schedule is as follows:
     
     Sunday 10  Monday 11  Tuesday 12  Wednestay 13  Thursday 14
     09:00-11:00  Continuous 
     constraints 
     Benhamou
     (10:00-11:00)
     SAT and CSP
     Bordeaux
     Symmetries in CP
     Gent
     OR in CP
     Hooker
      OR in CP
     Hooker
     11:00-11:30  coffee break  coffee break  coffee break  coffee break  coffee break
     11:30-12:30  Continuous 
     constraints 
     Benhamou
     Complexity
     Lang
     Complexity
     Lang
     Complexity
     Lang
     Complexity
     Lang
     12:30-14:00  lunch  lunch  lunch  lunch  lunch
     14:00-16:00  free  free  SAT and CSP
     Bordeaux
     (14:00-15:00)
     free  end of the 
     School
     16:00-17:00  CP systems
     Schulte
     CP systems
     Schulte
     free  SAT and CSP
     Bordeaux
     17:00-17:30  coffee break  coffee break  coffee break
     17:30-19:30  Symmetries in CP
     Gent
     Continuous 
     constraints
     Benhamou
     CP systems
     Schulte
     19:30-21:00  dinner  dinner  dinner  dinner

     

    School site

    The school will take place in Hotel Guitart Central Park in Lloret de Mar , in the Girona region of Spain. You can find some photos here . Distances from European Cities and the nearest airport can be found in this link .

    The Hotel Guitart central Park is in the street Constanti Ribalaiga num 7. In the Lloret map, its coordinates are M-11.

    Getting to Lloret

    1. From Barcelona Airport (total fare approx 6 Euros)

    Train: Airport -- Barcelona Sans  (There is service every 30'. Duration 20')
    Train: Barcelona Sans -- Blanes (There is service every 30'. Duration 80')
    Bus:   Blanes station -- Lloret (There is service every 30'. Duration 20')

    2. From Barcelona (total fare approx 6 Euros)

    Train: Barcelona Sans -- Blanes (There is service every 30'. Duration 80')
    Bus:   Blanes station -- Lloret (There is service every 30'. Duration 20')

    3. From Girona Airport (fare 8 Euros)

    Bus: Girona Airport -- Lloret
    (the name of the bus company is SARFA and the duration of the trip is 30')

    Departures from Girona Airport:  9:30,  11:00,  14:30,  18:30,  21:30

    Registration

    To register, follow the instructions that appear in this registration form.

    Student grants

    Unfortunately, no grants are available. If some interested student is in real need of financial help, contact us.

    Hotel reservation

    To book a room at the Hotel Guitart Central Park do the following:
    - Call to the hotel, tel +34 972 34 70 34 (from 9 to 19 hours), English spoken.
    - Identify yourself as a participant in the ACP Summer School.
    - Make a reservation for the corresponding dates: We (as well as the hotel managers) are assuming that most participants will arrive on June 9 and will leave on June 14 or 15. If this is not your case, be sure that the hotel gets the right dates. Note that we cannot guarantee vacancies and/or fees out of the school dates.
    - Single room full board is 53.40 euros per night.
    - Double room, full board is 35.60 euros per night per person; if you want to stay at a double room, it is your responsibility to find a partner. When you book the double room you have to give the name of the two persons staying in the room. If you really want to stay in a double room and you do not have a partner, let us (J. Larrosa or P. Meseguer) know as soon as possible and we will try to find a partner to share the room with you.

    Important dates

    Early registration fee:  350 euros,  by May 15, 2007
    Late registration fee:    450 euros, by June 10, 2007

    Organizers

    Sponsors