The 20th International Conference on
Principles and Practice of
Constraint Programming
Lyon, France
8-12 September 2014

Doctoral Program

The Doctoral program will take place in the Main Auditorium of "La Rotonde" at INSA at 20 avenue des Arts, Lyon. The room will be opened at 8:30am. Here is the schedule (pdf) and the proceedings (5.69 MB).

Monday, 8 September 2014 (Main Auditorium, La Rotonde)
Chair: Zeynep Kiziltan
8:50-9:00 Welcome and Introduction Justyna Petke, Andrea Rendl
9:00-9:15 Proteus: A Hierarchical Portfolio of Solvers and Transformations Barry Hurley
9:15-9:30 Solving the Quorumcast Routing Problem as a Mixed Integer Program Quoc Trung Bui
9:30-9:45 Supervised Learning to Control Energetic Reasoning: A Feasibility Study Sascha Van Cauwelaert
9:45-10:00 Fast propagation for the Energy Reasoning Nicolas Bonifas

10:00-10:30 Coffee Break

10:30-11:15 Invited Talk: "Scientific Writing"(pdf slides) Gilles Pesant, Ecole Polytechnique de Montreal, Canada
Chair: Marie Pelleau
11:15-11:30 3-minute presentations from students with CP papers Ferdinando Fioretto, Ciaran McCreesh, Ratheil Houndji, Anthony Schneider
11:30-11:45 Integration of Ant Colony Optimization algorithms with Gecode Ana Maria Nogareda
11:45-12:00 Relaxation of the Optimal Search Path Problem with the Cop and Robber Game Frédéric Simard
12:00-12:15 A Time-Dependent No-Overlap Constraint: Application to Delivery Problems Penélope Aguiar Melgarejo
12:15-12:30 Solving UAV Mission Planning based on Temporal Constaint Satisfaction Problem using Genetic Algorithms Cristian Ramírez-Atencia

12:30-14:00 Lunch Break

14:00-14:45 Invited Talk: "Optimising your PhD and your postdoc life: an easy objective function?" Maria Garcia de la Banda, Monash University, Australia
Chair: Lars Kotthoff
14:45-15:00 3-minute presentations from students with CP papers Roberto Amadini, Emilie Picard-Cantin, Zhu Zichen, Robert Woodward, Kathryn Francis
15:00-15:15 Precode: High-Level Presolving at Compile time Kevin Leo
15:15-15:30 Learning Optimal Bounded Treewidth Bayesian Networks via Maximum Satisfiability Jeremias Berg
15:30-15:45 Strengthening Automatically Generated Constraint Models James Wetter
15:45-16:00 Profiling tools for constraint programming Maxim Shishmarev

16:00-16:30 Coffee Break

Chair: Chris Mears
16:30-16:45 RTP-based Residential Load Scheduling for Demand Response in Smart Grid Shan (Dora) He
16:45-17:00 A Stochastic Programming Approach for Dealing with Uncertainty in Forestry Problems Ade Fajemisin
17:00-17:15 The Dial-a-Ride Problem with Transfers and Stochastic Customers Michael Saint-Guillain

17:15 Final Information and End

19:15 Meeting at conference venue to go to Doctoral Program Dinner
20:00 Doctoral Program Dinner at Des Galets bleus la nuit

Each student is assigned a mentor during the CP2014 conference. It is the responsibility of each student to contact her/his mentor to arrange a meeting during the conference.

Student Mentor
Ciaran McCreesh Christian Schulte
Emilie Picard-Cantin Francesca Rossi
Ferdinando Fioretti Patrick Prosser
Anthony Schneider Nicolas Beldiceanu
Robert Woodward Christoffer Jefferson
Ratheil Houndji J. Christopher Beck
Kathryn Francis Pierre Flener
Roberto Amadini Helmut Simonis
Ade Fajemisin Mark Wallace
Penelope Aguiar Melgarejo Pierre Schaus
Michael Saint-Guillain Laurent Perron
Quoc Trung Bui Michela Milano
Kevin Leo Laurent Michel
Zhu Zichen Peter Stuckey
James Wetter Jimmy Lee
Shan He Ken Brown
Maxim Shishmarev Charlotte Truchet
Frederic Simard Toby Walsh
Cristian Ramirez-Atencia Mats Carlson
Jeremias Berg Joao Marques Silva
Barry Hurley Carlos Ansotegui
Ana Maria Nogerada Guido Tack
Sascha van Caulwelaert Thomas Schiex
Nicolas Bonifas Ian Miguel

Call for Papers

As part of the 2014 International Conference on Principles and
Practice of Constraint Programming, we are inviting PhD and MSc students
to apply for the Doctoral Program (DP). The DP is an opportunity for
current students to meet each other as well as researchers in the field.
Participation in the Doctoral Program will involve:

  • Presentation of the student work via both talk and poster.
  • Discussions with a mentor with similar research interests.

Financial Support

There are funds available to support students by providing free conference registration and free ticket to the doctoral program dinner. Priority will be given based on the quality of the submissions.

Important Dates

  • Submission deadline: Sunday, 15 June 2014 (strict deadline)
  • Notification deadline: Monday, 7 July 2014
  • Camera ready deadline: Sunday, 3 August 2014
  • Doctoral Program: Monday, 8 September 2014


The program is open to all PhD and outstanding MSc students involved in Constraint Programming or related fields at any level. The submitted paper should contain original unpublished work which is primarily
the work of the student. It can either be completed or in progress.

We will not accept any paper which, at the time of submission, has
already been published in a journal or formal conference proceedings.
This restriction does not apply to work that has appeared in workshops
and similar specialised presentations with a limited audience and
without archival proceedings and to papers published in 2014. Papers
that have been submitted elsewhere but not yet published and papers
published in 2014 are acceptable; if this is the case, please mention it
on the DP submission. Please feel free to contact the chairs if there
are any questions on eligibility.

Submission Details

Applicants are required to submit a short paper (no more than 6 pages, excluding
references) in the Springer LNCS Style and the author list should specify who
is the student and who are the supervisor(s)/co-authors. Submissions are required to
be in either PostScript or PDF format.

All proposals should be submitted online through EasyChair - by selecting
'New Submission' and choosing ‘Doctoral Program’ in the menu.

All students applying for the Doctoral Program need their supervisor(s) to send
a letter of recommendation to The email should detail:

  • the student's area of work.
  • the supervisor's support of the student's application. This part
    should include a confirmation that DP submission or a paper accepted to
    CP2014 is primarily the student's work. This confirmation is one of the
    critical points for the decision on the application.
  • the expected completion date for the student.
  • the reason for wanting to attend the doctoral program.
  • whether or not the student has previously been to the doctoral
    program and/or received financial assistance, and how many times.

It is a responsibility of the student to make sure that the
letter from their supervisor(s) is submitted by the submission deadline
date, Sunday, 15 June 2014.

Students with full or short papers accepted to the CP 2014 conference
technical program, including both technical and application track
papers, who wish to participate in the Doctoral Program do not need to
submit a separate paper for the DP. Instead, such students should email
the DP chairs at
expressing their interest. This email should also include the paper
title, abstract, author list and the number that the accepted paper was
given by EasyChair.

Doctoral Program chairs

Justyna Petke, University College London, UK

Andrea Rendl, NICTA and Monash University, Australia

Invited Speakers

We are delighted to announce the speakers at the doctoral programme:

Program Committee