ICLP-DC 2026 - CFP

[Alice Tarzariol]

========================================================================= 

                                               CALL FOR PAPERS ICLP-DC 2026                             

                                   22nd Doctoral Consortium on Logic Programming              

                             https://sites.google.com/view/iclp-dc-ss2026/call-for-papers

                                                                July 18, 2026          

                                                              

                Affiliated with ICLP 2026, 42nd International Conference on Logic Programming

                                            https://www.semsys.aau.at/events/iclp2026/

========================================================================= 

The 22nd Doctoral Consortium (DC) on Logic Programming provides students with the opportunity 

to present and discuss their research directions, and to obtain feedback from both peers and experts 

in the field.

This event will be part of the 42nd International Conference on Logic Programming (ICLP) 

(https://www.semsys.aau.at/events/iclp2026/), taking place in the first week of the 

9th Federated Logic Conference (FLOC) in Lisbon, Portugal. 

The preliminary website of the ICLP-DC can be found at: https://sites.google.com/view/iclp-dc-ss2026/call-for-papers

GRANTS FOR ATTENDING ICLP **UPDATE** 

We are pleased to announce the availability of student grants to support participation in ICLP 2026, generously provided by 

the Artificial Intelligence Journal (AIJ) and the US National Science Foundation (NSF). 

More information and the application form will be made available soon. 

DESCRIPTION

The DC is designed for students currently enrolled in a Ph.D. program, though we are also open to exceptions 

(e.g., students currently in a Master's program and interested in doctoral studies). Students at any stage in their 

doctoral studies are encouraged to apply for participation in the DC. Applicants are expected to conduct research

in areas related to logic and constraint programming; topics of interest include (but are not limited to):

• Theoretical Foundations of Logic and Constraint Logic Programming
• Sequential and Parallel Implementation Technology
• Static and Dynamic Analysis, Abstract Interpretation, Compilation Technology, Verification
• Logic-based Paradigms (e.g., Answer Set Programming, Concurrent Logic Programming, Inductive Logic Programming)
• Innovative Applications of Logic Programming
• Neurosymbolic Approaches

Submissions by students who have presented their work at previous ICLP DC editions are allowed, but should occur 

only if there are substantial changes or improvements to the student's work. 

The DC offers participants a convenient, more informal way to interact with established researchers and fellow students, 

through presentations, question-answer sessions, panel discussions, and invited presentations. 

For all accepted DC papers, the student is required to attend the DC program and give a presentation during the DC. 

A program committee consisting of experts in various areas related to logic and constraint programming reviews the submissions. 

The best paper from the DC will be given the opportunity to make a presentation in a session of the main ICLP conference.

IMPORTANT DATES **UPDATE** 

All dates are 'Anywhere on Earth', namely 23:59 UTC-12.

• Abstract registration:     April 24, 2026   May 1, 2026
• Submission:                  May 1, 2026       May 8, 2026
• Notification:                   May 29, 2026     May 31, 2026
• ICLP DC:                       July 18, 2026

SUBMISSION DETAILS

Submissions of the research summary must be made in CEUR format (https://ceur-ws.org). 

The CEUR Overleaf template can be found here: https://www.overleaf.com/latex/templates/template-for-submissions-to-ceur-workshop-proceedings-ceur-ws-dot-org/wqyfdgftmcfw

The submission package should consist of the research summary in the format mentioned below, a short vita or cover letter 

of the applicant and a letter of recommendation from the applicant's faculty advisor. All material is to be submitted 

electronically, in PDF format.

Submission link:  https://submissions.floc26.org/iclp-dc-ss

Research summary (make sure to include your complete name, address, and affiliation):

The body of your research summary (between 5 and 6 pages) should provide a clear overview of your research, its potential 

impact, and its current status. You are encouraged to include the following sections:

• Introduction and problem description
• Background and overview of the existing literature
• Goal of the research
• Current status of the research
• Preliminary results accomplished (if any) 
• Open issues and expected achievements
• Bibliographical references 

DC PROGRAM CO-CHAIRS

Alice Tarzariol, University of Klagenfurt, Austria

Markus Hecher, University of Potsdam, Germany & University of Artois, CNRS, Computer Science Research Center of Lens (CRIL), France

PROGRAM COMMITTEE

• Agostino Dovier, University of Udine
• Annie Liu Stony, Brook University
• Carmine Dodaro, University of Calabria
• Cristina Feier, Technical University of Cluj-Napoca
• Damiano Azzolini, University of Ferrara
• Daniela Inclezan, Miami University
• Eleonora Iotti, University of Parma
• Francesco Fabiano, University of Oxford
• Francesco Ricca, UNICAL
• Frank Valencia, CNRS
• Johannes Fichte, Linköping University
• Dorde Markovic, University of Klagenfurt
• José F. Morales, IMDEA Software Institute & Universidad Politécnica de Madrid
• Laura Giordano, Università del Piemonte Orientale
• Luca Geatti, University of Udine
• Mario Alviano, University of Calabria
• Martin Gebser, University of Klagenfurt
• Sarah Gaggl, TU Dresden
• Stefan Woltran, TU Wien
• Tobias Geibinger, TU Wien
• Torsten Schaub , University of Potsdam
• Vladimir Lifschitz, University of Texas
• Wolfgang Faber , University of Klagenfurt 
• Zeynep G. Saribatur, TU Wien