Call For Paper

The 41st International Conference on Logic Programming (ICLP’25)

University of Calabria, Rende, Italy | September 12-19, 2025

SCOPE

Since the first conference In Marseille in 1982, ICLP has been the premier international event for presenting research in logic programming. Contributions are sought in all areas of logic programming, including but not restricted to:

Theoretical Foundations:

Formal and operational semantics, Non-monotonic reasoning, Reasoning under uncertainty, Knowledge representation, Semantic issues of combining logic and neural models, Complexity results.

Language Design and Programming Methodologies:

Concurrency and parallelism, Mobility, Interacting with ML, Logic-based domain-specific languages, Hybrid logical and imperative/functional languages, Programming techniques, Answer Set Programming, Inductive Logic Programming, Coinductive Logic Programming

Program Analysis and Optimization:

Analysis, Transformation, Verification, Debugging, Profiling, Visualization, Logic-based validation of generated programs.

Implementation Methodologies:

Compilation, Parallel/distributed execution, Constraint implementation, Tabling, Logic-based prompt engineering, User interfaces.

IMPORTANT DATES
(all times are 23:59 Anywhere On Earth, UTC-12)

• Paper registration (regular papers): April 13, 2025

• Paper submission (regular papers): April 18, 2025 April 25, 2025 (Extended)

• Notification (regular papers): May 25, 2025 May 31, 2025 (Extended)

• Paper submission (TC papers, IJCAI Fast Track papers): June 15, 2025

• Revision submission (TPLP papers): June 15, 2025

• Final notification: July 6, 2025

• Final version: July 27, 2025

• Main conference: September 15-19, 2025

SUBMISSION INSTRUCTION

All submissions must be written in English. Papers accepted at ICLP may appear either in

• The journal Theory and Practice of Logic Programming (TPLP) published by Cambridge University Press.
  TPLP format is described at: tplp-style

• The ICLP 2025 Technical Communication Proceedings published by Electronic Proceedings in Theoretical Computer Science (EPTCS). EPTCS format is described at: eptcs-style

Submissions may have one of two forms:

1) Regular papers and IJCAI Fast Track papers are at most 14 pages in TPLP format, including references. Accepted regular and IJCAI Fast Track papers will be published in a special issue of TPLP. IJCAI Fast Track papers must be accompanied by a PDF cover letter detailing:

• The improvements made to the paper compared to the previous (IJCAI’25) submission, including clarifications on any perceived errors in the reviewers' assessments, if applicable

• The paper ID of the IJCAI’25 submission

• The authors listed on the IJCAI’25 submission

• The title of the IJCAI’25 submission

• The original PDF submitted to IJCAI’25

• The IJCAI’25 reviews, including scores and text evaluations

The authors of IJCAI Fast Track papers must explicitly give consent for IJCAI’25 to share all submitted information with ICLP’25 to verify its accuracy. ICLP’25 may summarily reject papers for several reasons, including submissions that (a) are outside the thematic scope of ICLP, (b) inaccurately disclosed required information, or (c) omitted original authors without justification.

Regular papers that are not (provisionally) accepted for TPLP may be invited to the Technical Communication Proceedings of ICLP’25. The authors can choose to convert a regular paper accepted for the Technical Communication Proceedings into an extended abstract (2 or 3 pages in EPTCS format), which should allow for submitting a long paper version elsewhere.

2) Technical Communication (TC) papers are at most 12 pages in EPTCS format, excluding references. Accepted TC papers will be published in the Technical Communication Proceedings.

Submissions will be made via EasyChair, following the link https://easychair.org/conferences/?conf=iclp25

All papers must describe original, previously unpublished research, and must not simultaneously be submitted for publication elsewhere. These restrictions do not apply to Recently Published Research Track submissions as well as previously accepted workshop papers with a limited audience and/or without archival proceedings.

All accepted papers will be presented during the conference. Authors of accepted papers will be automatically included in the list of ALP members, who will receive quarterly updates from the Logic Programming Newsletter at no cost.

TRACKS AND SPECIAL SESSIONS

In addition to the main track, ICLP’25 will host:

• IJCAI Fast Track: The notification date for IJCAI’25 does not allow authors of rejected papers to submit to ICLP’25. In coordination with the IJCAI’25 program chairs, we have therefore instituted a process by which authors can submit revised versions of such rejected papers directly to ICLP’25. Authors must submit a cover letter explaining how they have addressed the critical issues raised by IJCAI’25 reviewers before submitting their revised paper to the IJCAI Fast Track of ICLP’25. The submission will then enter the “revision” phase and be considered for publication in TPLP.

• Recently Published Research Track: Detailed information will be announced separately (click here).

AFFILIATED EVENTS

• • • • Workshops: September 12-14, 2025

      • Doctoral Consortium: September 12-14, 2025

      • Autumn School in Computational Logic: September 12-14, 2025

      • Logic Programming Contest: September 16 or 17, 2025

      • International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2025): September 9-10, 2025

      • International Symposium on Principles and Practice of Declarative Programming (PPDP 2025): September 10-11, 2025

VENUE

ICLP’25 will be held on the campus of the University of Calabria in Rende, Italy, during 12-19 September 2025. The University of Calabria is one of Italy's leading academic institutions, renowned for its innovative research and vibrant campus life. Located in the scenic city of Rende, it offers a modern learning environment surrounded by natural beauty and cultural richness. Calabria is a region rich in culture, offering a blend of historical heritage and stunning natural beauty. From its breathtaking coastal spots to its easily accessible mountains, the region provides an unforgettable cultural and culinary experience, savoring authentic dishes made from fresh, local ingredients, such as spicy 'nduja, pasta, potatoes and exquisite desserts.

ORGANIZATION

General Chair: 

Francesco Ricca

Program Co-chairs: 

Daniela Inclezan 

Martin Gebser

Publicity Chairs: 

Manuel Borroto 

Francesco Calimeri

Local Chairs: 

Antonio Ielo

Giuseppe Mazzotta

Program Committee:

Salvador Abreu, NOVA-LINCS / University of Evora

Mario Alviano, University of Calabria

Nicos Angelopoulos, The Pirbright Institute

Marcello Balduccini, Saint Joseph’s University

Mutsunori Banbara, Nagoya University

Elena Bellodi, University of Ferrara

Stefano Bistarelli, University of Perugia

Bart Bogaerts, KU Leuven

Pedro Cabalar, University of Corunna

Roberta Calegari, Alma Mater Studiorum–University of Bologna

Angelos Charalambidis, Harokopio University

Michael Codish, Ben-Gurion University of the Negev

Stefania Costantini, University of L'Aquila

Alessandro Dal Palù, University of Parma

Marina De Vos, University of Bath

Marc Denecker, KU Leuven

Carmine Dodaro, University of Calabria

Thomas Eiter, TU Wien

Esra Erdem, Sabanci University

Wolfgang Faber, University of Klagenfurt

François Fages, INRIA Saclay

Jorge Fandinno, University of Nebraska Omaha

Johannes K. Fichte, Linköping University

Fabio Fioravanti, University of Chieti-Pescara

Andrea Formisano, University of Udine

Gerhard Friedrich, University of Klagenfurt

Sarah Alice Gaggl, TU Dresden

Marco Gavanelli, University of Ferrara

Laura Giordano, DISIT, University of Eastern Piedmont

Ricardo Gonçalves, NOVA University Lisbon

Gopal Gupta, The University of Texas at Dallas

Carito Guziolowski, Centrale Nantes

Markus Hecher, CNRS, Artois University

Giovambattista Ianni, University of Calabria

Tomi Janhunen, Tampere University

Nikos Katzouris, NCSR Demokritos

Gabriele Kern-Isberner, TU Dortmund

Matthias Knorr, NOVA University Lisbon

Isabelle Kuhlmann, University of Hagen

Joao Leite, NOVA University Lisbon

Michael Leuschel, Heinrich-Heine University of Düsseldorf

Vladimir Lifschitz, The University of Texas at Austin

Francesca Alessandra Lisi, University of Bari Aldo Moro

Yanhong A. Liu, Stony Brook University

Marco Maratea, University of Calabria

Viviana Mascardi, DIBRIS, University of Genova

Jose F. Morales, Technical University of Madrid / IMDEA Software Institute

Johannes Oetsch, Jönköping University

Simona Perri, University of Calabria

Enrico Pontelli, New Mexico State University

Fabrizio Riguzzi, University of Ferrara

Ricardo Rocha, University of Porto

Chiaki Sakama, Wakayama University

Zeynep G. Saribatur, TU Wien

Torsten Schaub, University of Potsdam

Konstantin Schekotihin, University of Klagenfurt

Tom Schrijvers, KU Leuven

Dietmar Seipel, University of Würzburg

Theresa Swift, Johns Hopkins Applied Physics Lab

Paul Tarau, University of North Texas

Hans Tompits, TU Wien

Mirek Truszczynski, University of Kentucky

Athénaïs Vaginay, University of Caen Normandy

Germán Vidal, VRAIN, Polytechnic University of Valencia

Concepcion Vidal, University of Corunna

Alicia Villanueva, VRAIN – Polytechnic University of Valencia

Johannes P. Wallner, TU Graz

Kewen Wang, Griffith University

David S.Warren, Stony Brook University

Felix Weitkämper, German UDS Potsdam

Stefan Woltran, TU Wien

Roland Yap, National University of Singapore

Jia-Huai You, University of Alberta

Zhizheng Zhang, Southeast University

Yuanlin Zhang, Texas Tech University

Neng-Fa Zhou, CUNY Brooklyn College and Graduate Center