Call for Papers - Joint CP/SAT Doctoral Program 2026 (Extended Deadlines)

Website: http://satcpdp26.github.io

Dates: July 18-19, 2026

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

Extended abstract submission deadline: May 7, 2026

Extended paper submission deadline: May 14, 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 submitting a paper to the DP,
reviewing other DP submissions, and attending 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 senior 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 7, 2026

Submission Deadline: May 14, 2026

Financial support request deadline: May 19, 2026

Review Deadline: May 28, 2026

Discussion: May 28-June 1, 2026

Notification: June 2, 2026

Notification of Financial Support: June 2, 2026

Deadline of Camera Ready paper: June 9, 2026

Paper 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

Financial support may be available to cover conference-related costs, such
as registration fees, accommodation, and travel expenses. Decisions will be
made on a case-by-case basis. Priority will be given to doctoral students
who would otherwise be unable to attend the conference.

To apply, students should submit:

1. A motivation letter explaining why financial support is needed,
including an estimated breakdown of the requested costs in order of
priority.

2. A separate letter from their supervisor confirming the funding request,
sent by the supervisor.

Both documents should be sent by email to cpsatdp @ cs.uni-freiburg.de no
later than May 19, 2026.

Contact Information

For any questions related to the doctoral program, please contact the
organizers via email at cpsatdp @ cs.uni-freiburg.de

**********************************************************
*
*   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/
*
**********************************************************