CP/ICLP/SAT Doctoral Program

Important Update

Thanks to the generosity of the AI Journal, we will be able to sponsor accommodation and registration fees for up to 20 students in the Doctoral Program. Please see the details below.


This year the co-located CP 2017, ICLP 2017 and SAT 2017 conferences are holding a joint Doctoral Program (DP). The DP is open to all students doing research on constraints, satisfiability or logic programming, including students that participated in previous DPs. It is a place where you can meet other student researchers, discuss your ongoing work in a relaxed atmosphere, as well as getting some mentoring from an experienced researcher in the field.

You can participate by submitting a paper about your ongoing research, or just the abstract if you have a paper accepted at either of the main conferences; see below for detailed instructions.

The program is a full-day event at the conference and includes presentations of the papers and mentoring by a senior researcher who will see your talk and and spend some time to discuss with you during the conference, as well as a nice (and free) dinner at the end of the day.

Important dates

  • June 19, 2017 - Submission deadline
  • July 14, 2017 - Notification
  • July 28, 2017 - Final version for online proceedings
  • August 28, 2017 - Doctoral Program

Submission instructions

Any student who does research on constraints (in the broadest sense), satisfiability or logic programming can participate. The submitted paper should contain work that is primarily the work of the student. It can be work in progress, completed work, or recently published work.

Students with a paper accepted at CP 2017, ICLP 2017 or SAT 2017 can participate by submitting just the abstract of the paper. They will still present at the doctoral program, but in lightning talk format (~3 minutes). All other students are required to submit a short paper (from 4 to 8 pages, excluding references). Submissions should be in the same style as CP 2017 papers (Springer LNCS), and the author list should specify who is the student and who are the advisors and other co-authors. Submissions are required to be in PDF format. All abstracts and papers should be submitted online through EasyChair by selecting “New Submission”.

Doctoral program

Review training

On submitting a paper, you will be assigned another student’s paper to review. This is both to let you practice reviewing, and to share your impressions of the work with the other student. If your own submission is accepted, your mentor (see below) will discuss your review with you during the conference.


All students will be asked to present their work at the doctoral program. The presentation will be about 15 minutes long, followed by an open discussion. If you submitted an abstract of a paper accepted at CP, ICLP or SAT, the presentation will be a short 3 minute lighting talk, meant to motivate the audience to come see your full presentation.

Invited speakers

More information to come soon.

Financial support and accommodation

Financial support will be available for up to 20 students, covering accommodation in a twin shared room and the conference registration fees. We will allocate this funding based on students’ needs, so please email the DP chairs outlining your request for funding, and whether you have received funding for attending a Doctoral Program before. The request must be accompanied by a letter from the student’s supervisor confirming that the financial assistance is necessary for the student to participate in the DP.

Social dinner

There will be a free dinner on the evening of the doctoral program, open to all students selected for the doctoral program and chairs.


  • Christopher Mears, Redbubble, Australia
  • Neda Saeedloei, University of Minnesota Duluth, USA

You can contact the doctoral program co-chairs at dp2017@a4cp.org.