The Doctoral Program proceedings are available online as one PDF.
ScheduleEach student presentation is approximately 10 minutes. This schedule is tentative and might be subject to slight changes.
|First Session (9:00 - 10:30)|
|Energy optimization in metro timetables using CMA-ES||David Fournier|
|SAT Encodings for the Car Sequencing Problem||Valentin Mayer-Eichberger|
|Explaining the AtMostSeqCard constraint||Mohamed Siala|
|Augmenting a CSP Portfolio with SAT Representations and Solvers||Barry Hurley|
|Solving Subgraph Epimorphism Problems using CLP and SAT||Steven Gay|
|Instance Generation for Constraint Model Selection||Bilal Syed Hussain|
|Second Session (11:00 - 12:30)|
|Translating the At-Most-One Constraint into SAT||Van-Hau Nguyen|
|Sampling Techniques for Boolean Satisfiability||Kuldeep Meel|
|The Bi-Objective Pareto Constraint||Renaud Hartert|
|A Compression Method for STR||Nebras Gharbi|
|Solving WCSP by Extraction of Minimal Unsatisfiable Cores||Nicolas Paris|
|A Global Acyclicity Constraint for Bayesian Network Structure Learning||Hella Hoffmann|
|The Energetic Reasoning Checker Revisited||Alban Derrien|
|Third Session (14:00 - 15:30)|
|Tutorial (1 hour)||Peter Stuckey|
|Dynamic and Probabilistic CP-nets||Cristina Cornelio|
|Including Qualitative Spatial Knowledge in the Sense-Plan-Act Loop||Masoumeh Mansouri|
|Fourth Session (16:00 - 18:00)|
|Explanation-Guided Large Neighborhood Search||Charles Prud'homme|
|Alternative Job-Shop Scheduling For Proton Therapy||Cyrille Dejemeppe|
|Constraint-based scheduling and planing in medical facilities with BPMN||Denny Schneeweiss|
|Modeling Deterministic Spacecraft Networks with Constraint Programming||Dave Gibson|
|Table Constraints in Clause Learning CSP Solvers||Ozan Erdem|
|Towards representing Games in Constraint Programming||Thi-Van-Anh Nguyen|
|Boosting weighted CSP resolution with BDDs||Miquel Palahi|
|Constructing problem-specific constraint solvers using Monte Carlo Tree Search||Arūnas Prokopas|
|Hybrid CP+LNS for the Curriculum-Based Course Timetabling Problem||Tommaso Urli|
|Maintaining Soft Arc Consistencies in BnB-ADOPT+ During Search||Ka Man Lei|
Call for Papers
As part of the 2013 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.
- Free accommodation for the duration of the CP 2013 conference, including free breakfast.
- Free conference registration.
- Free doctoral program dinner.
Eligibility and Applications
The program is open to all PhD and outstanding MSc students involved in Constraint Programming or related fields at any level.
Applicants are required to submit a short paper (no more than 6 pages) 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.
Papers should be submitted at
|Submission deadline||30th of June 2013|
|Notification deadline||1st of August 2013|
|Camera ready deadline||15th of August 2013|
|Doctoral Program||16th of September 2013|
The paper should contain original unpublished work which is primarily the work of the student. It can either be completed or in progress. The papers will be available on the conference webpage (
http://cp2013.a4cp.org/dp) after the conference.
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 specialized presentations with a limited audience and without archival proceedings and to papers published in 2013. Papers that have been submitted elsewhere but not yet published and papers published in 2013 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.
Students with full or short papers accepted to the CP 2013 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 firstname.lastname@example.org 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.
All students applying for the Doctoral Program need their supervisor(s) to send a letter of recommendation to email@example.com. 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 CP2013 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, 25th of June 2013.
All participants will be provided with free conference registration, free accommodation, including free breakfast, from Sunday 15th September, to Friday 20th September, and a free ticket to the doctoral program students' dinner. There is no support for travel expenses. If there are insufficient funds to provide this for all DP participants, preference will be given to students who have not previously participated in the CP Doctoral Program.
The Doctoral Program chairs are:
Monash University, Australia
NICTA and University of New South Wales, Australia
If you have any questions, please feel free to contact both Christopher and Nina via the CP Doctoral Program 2013 email address: firstname.lastname@example.org
The other members of the Program Committee are:
- Lucas Bordeaux, Microsoft Research
- Geoffrey Chu, NICTA, Australia
- Stefano Gualandi, University of Pavia
- Willem-Jan Van Hoeve, Tepper School of Business, Carnegie Mellon University
- Chris Jefferson, University of St. Andrews, UK
- George Katsirelos, INRA - Toulouse
- Michele Lombardi, DEIS, University of Bologna, Italy
- Peter Nightingale, University of St. Andrews, UK
- Claude-Guy Quimper, Universite Laval
- Andrea Rendl, AIT Austrian Institute of Technology, Austria
- Andreas Schutt, NICTA, Australia
- Meinolf Sellmann, IBM Watson Research Center
- Guido Tack, Monash University
- Standa Zivny, University of Warwick, UK