CP/SAT Doctoral Program 2025

News

A tentative program of the DP is now available. See Program for more details.

Call for Doctoral Program Submissions

The Joint CP/SAT Doctoral Programme (DP) is open to all research students, including past participants, who are conducting research related to constraint programming and satisfiability. The goal is to provide an informal environment for networking, presenting and discussing ongoing work, and receiving feedback from both fellow research students and experts in the field. Participation requires a paper submission to the DP, reviewing other submissions to the DP and attendance in person.

The DP is a two-day event (10-11 August 2025). The exact schedule is yet to be confirmed, but the currently planned structure of its content is outlined as follows:

• Presentations and Poster Session: Each student is expected to give a presentation of their work, followed by a short Q&A session. Students with an accepted paper at the CP or SAT conference will give a shorter lightning talk, designed to pique the interest of the audience for their full presentation. Additionally, all students are required to create an A1 poster to be presented during the programme. The primary goal of the poster session is to encourage research and to promote the students' work to potential future collaborators.
• Review Training: As part of the Doctoral Program, each participant will be assigned to review a submitted paper. The aim is to improve their reviewing skills by analyzing the work of their peers and receiving feedback from experienced researchers. The ultimate goal is to promote a positive reviewing culture, which is often disregarded in the field of computer science.
• Invited Talks: Two mid-career or senior researchers will give invited talks to the DP participants. One of the talks will help students plan their career paths, while the other will focus on specific technical skills that are important to acquire for scientific research in the area of CP and SAT.
• Mentoring: We plan to pair each participant with a mentor from the community, who is either a professor or a post-doctoral researcher attending the main conferences. The mentor will discuss the student’s poster and provide constructive feedback. This is intended to promote networking opportunities for the Ph.D. students.
• Social Dinner: If sufficient financial support is obtained, a free dinner will be organized for DP participants on one of the evenings of the doctoral program. The dinner will be open to all students, invited speakers and chairs of the doctoral program.

Important Dates

Submission Deadline: June 8 2025 June 10 2025 (AoE)

Deadline for financial support requests: June 15 2025 June 25 2025

Review Deadline: June 22 2025

Notification: June 25 2025

Notification of Financial Support: June 28 2025

Deadline of Camera Ready paper: 15 July 2025 22 July 2025 (AoE)

Submission

To participate, students must submit a short paper. Papers must be primarily the work of the student and can be work in progress, completed work or recently published work. Students whose work has been accepted at CP 2025 or SAT 2025 can submit a two-page extended abstract summarising the key findings. Otherwise, students must submit an original paper of up to 8 pages describing completed or ongoing research or a summary of their research/PhD topic. Submissions can include up to one additional page of references.

The submission form must clearly specify the student as the first author and list all advisors and co-authors. Papers must follow the LIPIcs guidelines of the main conferences, be in PDF format and not include author information in the text or metadata. All papers will go through a double-blind reviewing process, meaning that authors and reviewers are mutually anonymous. For this reason, submitted papers should not contain author names, affiliations, or links to identifying websites. As the DP aims to develop academic maturity of young CP and SAT researchers, all reasonable submissions will be accepted.

All abstracts and papers should be submitted online through EasyChair by selecting “New Submission” at https://easychair.org/my/conference?conf=satcpdp25. (If you are submitting an abstract only, please still submit a PDF containing the title, authors and abstract.)

Accepted papers will be made available online but not published in formal printed proceedings. This allows the submitted work to be reused and/or extended for submission to other conferences and journals.

Invited Speakers

• Ian Gent, University of St Andrews

Title: How Not To Do It

Abstract: Empirical methods are a vital part of a researcher’s toolbox. Which means that the more senior a researcher is, the more tools they have dropped on their feet! Sharing some of these stories. I will share real mistakes which I or my colleagues made in analysing SAT and CP algorithms, and which we are prepared to own up to! Hopefully, you can learn from our mistakes instead of being doomed to repeat them.

• Sophie Tourret, Université de Lorraine and Max-Planck-Institut für Informatik

  Title: In the Reviewer’s Eye

  Abstract: Peer reviewing is a cornerstone of the scientific method. Writing reviews is one of the challenges that PhD students have to face, but it is a skill that is rarely taught! After a brief overview of my career, I will share facts and personal advice on reviewing, offering my perspective in the hope that it helps you grow as a reviewer, but also as an author, of scientific writings.

Financial Support

Financial support is granted on a case-by-case basis, depending on the merits and needs of the young researcher, as well as our financial capabilities.

To apply, please send an e-mail to the DP Chairs (with your advisor in CC) including the following information:

• Name and Affiliation
• Indicate whether a paper is accepted or will be presented at one of the conferences or workshops
• Short summary and motivation of the request (max. 1 page)
• Letter of recommendation from the advisor (max. 1 page)

Please also indicate in the e-mail whether the student has benefited from similar financial support in the past.

Program (Tentative)

Venue

The DP will be held at the University of Glasgow's Gilmorehill Campus in the west end of Glasgow, in the Boyd Orr Building and the James McCune Smith Learning Hub.

Diversity and Inclusion

The participants of the DP are encouraged to participate in the diversity and inclusion surveys organised by the conference.

Organization

                                                                                      
              Mun See Chang                             Katalin Fazekas
              University of St Andrews                  TU Wien
              School of Computer Science                Institute of Logic and Computation
              Homepage                                  Homepage