Call for Papers - Joint CP/SAT Doctoral Program 2026

Website: http://satcpdp26.github.io

Dates: 18-19 July 2026

Location: Lisbon, Portugal as part of the FLoC 26 workshop program

Submission Deadline: May 12th 2026

Call for Doctoral Program Submissions

The Joint CP/SAT Doctoral Program (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 (18-19 July 2026). 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 program. 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: 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 (anywhere on earth)

Abstract Deadline: May 5th 2026

Submission Deadline: May 12th 2026

Deadline for financial support requests: May 19th 2026

Review Deadline: May 28th 2026

Discussion: May 28th to June 1st 2026

Notification: June 2nd 2026

Notification of Financial Support: June 2nd 2026

Deadline of Camera Ready paper: June 9th

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 2026 or SAT 2026 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 the FLoC 2026
submission system by selecting “New Submission” at
https://submissions.floc26.org/dpcp/. (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.
Financial Support

There will be some financial support, we will provide more details soon.
Contact Information

For any questions related to the doctoral program, please contact the
organizers via email at [email protected]

**********************************************************
*
*   Contributions to be spread via DMANET are submitted to
*
*                   [email protected]
*
*   Replies to a  message carried  on DMANET should NOT be
*   addressed to DMANET  but to  the original sender.  The
*   original  sender,  however,  is invited  to prepare an
*   update  of the replies  received and to communicate it
*   via DMANET.
*
*    DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
*      http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************