[DMANET] 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 * * DMANET@zpr.uni-koeln.de * * 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/ * **********************************************************