ICLP: International Conference on Logic Programming



Past:   Proceedings on DBLP

Future:  Post a CFP for 2024 or later   |   Invite the Organizers Email


All CFPs on WikiCFP

Event When Where Deadline
ICLP 2023 International Conference on Logic Programming
Jul 9, 2023 - Jul 15, 2023 London, United Kingdom Feb 6, 2023 (Jan 30, 2023)
ICLP 2022 International Conference on Logic Programming
Jul 31, 2022 - Aug 8, 2022 Haifa, Israel TBD
ICLP 2021 The 37th International Conference on Logic Programming
Sep 20, 2021 - Sep 27, 2021 Virtual Event May 18, 2021 (May 12, 2021)
ICLP 2020 The 36th International Conference on Logic Programming
Sep 18, 2020 - Sep 24, 2020 Rende, Italy May 8, 2020
ICLP 2017 The 33rd International Conference on Logic Programming
Aug 28, 2017 - Sep 1, 2017 Melbourne, Australia Mar 17, 2017 (Mar 10, 2017)
ICLP 2016 32nd International Conference on Logic Programming
Oct 17, 2016 - Oct 21, 2016 New York City Apr 29, 2016 (Apr 22, 2016)
ICLP 2015 31st International Conference on Logic Programming
Aug 31, 2015 - Sep 4, 2015 Cork, Ireland Apr 27, 2015 (Apr 20, 2015)
ICLP 2013 29th International Conference on Logic Programming
Aug 24, 2013 - Aug 29, 2013 Istanbul, Turkey Apr 10, 2013 (Apr 3, 2013)
ICLP 2012 28th International Conference on Logic Programming
Sep 4, 2012 - Sep 8, 2012 Budapest, Hungary Mar 18, 2012 (Mar 11, 2012)
ICLP 2011 27th International Conference on Logic Programming
Jul 9, 2011 - Jul 10, 2011 Kentucky Jan 17, 2011 (Jan 10, 2011)
ICLP 2010 International Conference on Logic Programming
Jul 16, 2010 - Jul 19, 2010 Edinburgh, Scotland, U.K. Feb 2, 2010 (Jan 26, 2010)
ICLP 2009 25th International Conference on Logic Programming
Jul 14, 2009 - Jul 17, 2009 Pasadena, California, USA Mar 3, 2009 (Feb 27, 2009)

Present CFP : 2023

Please circulate within your networks. Apologies for multiple postings.


The 39th International Conference on Logic Programming (ICLP 2023)
London, UK
July 9-15, 2023

ICLP 2023 will be an in-person event in London, UK.

Important Dates:
* Abstract registration: January 30, 2023
* Paper submission (regular, applications, thematic tracks): February 6, 2023
* Notification to authors: February 28, 2023
* Revision submission (TPLP papers): March 20, 2023
* Paper submission (short papers, technical comms, recently published, demo, BoF): April 28, 2023
* Workshop proposals: March 20, 2023
* Final notifications (all paper kinds): May 19, 2023
* Camera-ready copy due (all paper kinds): May 26, 2023
* Conference: July 9-15, 2023
(Deadlines expire at the end of the day, anywhere on earth.)

Since the first conference held 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.
* Language Design and Programming Methodologies.
** Program Analysis and Optimization.
** Implementation Methodologies.
** Related Paradigms, Integration, and Synergies.
** Applications of Logic Programming.

Besides the main track, ICLP 2023 will host additional tracks:

* Applications Track: we invite submissions of papers on emerging
and deployed applications of LP, describing all aspects of the
development, deployment, and evaluation of logic programming systems
to solve real-world problems, including interesting case studies and
benchmarks, and discussing lessons learned.
* Thematic Tracks: we invite submissions to two thematic tracks, exploring
specific roles and potential for logic programming; these thematic tracks
* Logic Programming and Machine Learning
* Logic Programming and Explainability, Ethics, and Trustworthiness
* Recently Published Research Track: this track provides a forum to discuss
important results related to logic programming that appeared recently (from
January 2021 onwards) in selective journals and conferences, but have not
been previously presented at ICLP.
* System Demonstrations: we invite submissions showcasing logic programming
systems and implementations in a live setting. This track is not designed
to be sales pitches, demonstrations are a way for the community to see the
relevance, potential, and innovation of the tool and allow time for
discussion with its creator.
* Birds-of-a-Feather (BoF) sessions: we invite proposals for sessions meant
to provide an inclusive environment for colleagues with similar interests
to meet for informal discussion. Proposers of BoF sessions should serve
as discussion leaders only. BoFs are not intended to be presentations.

In addition, ICLP 2023 will host:

* Doctoral Consortium and Mentoring Sessions: the Doctoral Consortium (DC)
on Logic Programming provides students and early career researchers
with the opportunity to present and discuss their research directions,
obtain feedback from both peers and experts in the field, and participate
in mentoring sessions on how to prepare and succeed for a research career.
We will have leaders in logic programming research from academia and
industry to give invited talks on their research areas. The best paper
from the DC will be given the opportunity to make a presentation in a
session of the main ICLP conference.
* Tutorials.
* Co-located Workshops.
* Summer School on Logic Programming.
* Logic Programming Contest.

All submissions must be written in English.
We note that papers accepted at ICLP may appear either in
* Theory and Practice of Logic Programming Journal (TPLP), or
* Technical Communication Proceeding (TC) published by Electronic
Proceedings in Theoretical Computer Science (EPTCS)

TPLP format is described at

EPTCS format is described at

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

Expected submissions:

* For Main Track, Application Track, and Thematic Tracks:
* All papers must describe original, previously unpublished research,
and must not simultaneously be submitted for publication elsewhere.
These restrictions do not apply to previously accepted workshop papers
with a limited audience and/or without archival proceedings.
* Regular papers (14 pages in TPLP format, including references) The
accepted regular papers will be published in TPLP. The program
committee may recommend some regular papers to be published in
Technical Communication Proceeding (TC). In this case, the papers
will have to be reformatted into EPTCS format and not exceed 14 pages.
Authors who submitted Regular papers that were accepted as TC may
elect to convert their submissions into extended abstracts (2 or 3
pages in EPTCS format). This should allow authors to submit a
long version elsewhere.
* Short papers (7 pages in EPTCS format, including references).
The accepted short papers will be published in the Technical
Communication Proceedings.
* Recently Published Research Track
* Extended abstract (2 or 3 pages in EPTCS format) describing
previously published research (from January 2021 onwards) in
selective journals and conferences, but that have not been
previously presented at ICLP. A title ‘page should be appended
to the submission with (i) details on the venue, where the original
paper appeared, (ii) a link to the original paper, (iii) a paragraph
describing why the authors believe this work warrants a presentation
at ICLP. The extended abstracts will be published in the Technical
Communication Proceedings.
* System Demonstrations and BoF Proposals
* Extended abstract (2 or 3 pages in EPTCS format). System
demonstrations should provide highlights of the novel features of
the system, along with information about how to access it. BoF
proposals should motivate the choice of the topic and its relevance
to logic programming, describe the expected audience, identify
discussion leaders and their expertise, and provide a brief
description of the activities during the BoF session. We expect
BoFs to be inclusive and involve active participation for attendees.
Describe how your BoF will use inclusive practices and foster
attendee involvement. The extended abstracts will be published in
the Technical Communication Proceedings.

Submissions will be done via EasyChair. The submission Web page for ICLP2023 is

** General Chairs
Alessandra Russo and Francesca Toni, Imperial College London, UK
** Program Chairs
Stefania Costantini, University of L’Aquila, Italy
Enrico Pontelli, New Mexico State University, USA
** Publicity Chair
Guilherme Paulino-Passos and Alex Spies, Imperial College London, UK
** Workshop Chair
Wolfgang Faber, University of Klagenfurt, Austria
** Tutorials Chairs
Agostino Dovier, University of Udine, Italy
Esra Erdem, Sabanci University, Turkey
** Doctoral Consortium Chairs
Francesco Fabiano, University of Udine, Italy
Alessandra Mileo, DCU, Ireland
** Programming Contest Chairs
Martin Gebser, Graz University of Technology, Austria
Mario Alviano, University of Calabria, Italy
** Recently Published Research Track Chair
Sarah Gaggl, TU Dresden, Germany
** Application and Systems/Demo Chair
Carmine Dodaro, University of Calabria, Italy
** Summer School Organizers
Simona Perri, University of Calabria, Italy
Bart Bogaerts, Vrije Universiteit Brussel, Belgium
** Thematic Tracks Chairs:
- LP and Explainability, Ethics and Trustworthiness
Roberta Calegari, University of Bologna, Italy
- LP and Machine Learning
Artur Garcez, City University of London, UK
** BoF Chair
Luciano Serafini, Fondazione Bruno Kessler Trento, Italy

Program Committee
Abreu, Salvador, University of Evora, Portugal
Alviano, Mario, University of Calabria, Italy
Artikis, Alexander, NCSR "Demokritos", Greece
Balduccini, Marcello, Saint Joseph’s University, USA
Baral, Chitta, Arizona State University, USA
Bartak, Roman, Charles University, Czech Republic
Bellodi, Elena, University of Ferrara, Italy
Ben-Eliyahu-Zohary, Rachel, Jerusalem College of Engineering, Israel
Bogaerts, Bart, Vrije Universiteit Brussel, Belgium
Cabalar, Pedro, University of Corunna, Spain
Calegari, Roberta, University of Bologna, Italy
Calimeri, Francesco, University of Calabria, Italy
Codish, Michael, Ben-Gurion University of the Negev, Israel
Daggit, Matthew, Heriot-Watt University, Israel
De Gasperis, Giovanni, University of L’Aquila, Italy
De Vos, Marina, University of Bath, UK
Dodaro, Carmine, University of Calabria, Italy
Dovier, Agostino, University of Udine, Italy
Dutra, Ines, University of Porto, Portugal
Dyoub, Abeer, University of L’Aquila, Italy
Eiter, Thomas, Vienna University of Technology, Austria
Erdem, Esra, Sabanci University, Turkey
Fabiano, Francesco, University of Parma, Italy
Fandinno, Jorge, University of Nebraska Omaha, USA
Fioravanti, Fabio, University of Chieti-Pescara, Italy
Formisano, Andrea, University of Udine, Italy
Gaggl, Sarah Alice, University of Dresden, Germany
Garcez, Artur, City University of London, UK
Gavanelli, Marco, University of Ferrara, Italy
Gebser, Martin, University of Klagenfurt, Austria
Gelfond, Michael, Texas Tech University, USA
Giordano, Laura, University of Piemonte Orientale, Italy
Gupta, Gopal, University of Texas at Dallas, USA
Hermenegildo, Manuel, IMDEA Software Institute Madrid, Spain
Iclezan, Daniela, Miami University, USA
Inoue, Katsumi, NII, Japan
Kampik, Timotheus, Umeå Universitet, Sweden
Katzouris, Nikos, National Center for Scientific Research "DEMOKRITOS", Greece
Kiziltan, Zeynep, University of Bologna, Italy
Lamma, Evelina, University of Ferrara, Italy
Lifschitz, Vladimir, University of Texas at Austin, USA
Lisi, Francesca, University of Bari, Italy
Liu, Y. Annie, State University of New York at Stony Brook, USA
Manhaeve, Robin, KLU, Belgium
Mascardi, Viviana, University of Genova, Italy
Michel, Laurent, USA
Mileo Alessandra, Dublin City University, Ireland
Morales, Jose, IMDEA Software Institute, Spain
Nicolosi-Asmundo, Marianna, University of Catania, Italy
Oikarinen, Emilia, University of Helsinki, Finland
Patsantzis, Stassa, Imperial College, UK
Pimentel, Elaine, UCL, UK
Piazza, Carla, University of Udine, Italy
Pozzato, Gianluca, University of Torino, Italy
Ramakrishnan, CR, State University of New York at Stony Brook, USA
Ricca, Francesco, University of Cosenza, Italy
Riguzzi, Fabrizio, University of Ferrara, Italy
Rocha, Ricardo, University of Porto, Portugal
Sabuncu, Orkunt, Ted University Ankara, Turkey
Sakama, Chiaki, Wakayama University, Japan
Saribatur, Zeynep, TU Wien, Austria
Md Kamruzzaman, Sarker, University of Hartford, UK
Schaub, Torsten, University of Potsdam, Germany
Serafini, Luciano, Fondazione Bruno Kessler Trento, Italy
Son, Tran Cao, New Mexico State University, USA
Swift, Theresa, Universidade Nova de Lisboa, Portugal
Tarau, Paul, University of North Texas, USA
Truszczynski, Mirek, University of Kentucky, USA
Vidal, German, Universitat Politècnica de València, Spain
Villaneuva, Alicia, Universitat Politècnica de València, Spain
Warren, David, State University of New York at Stony Brook, USA
Weitkamper, Felix, Ludwig-Maximilians University of Munich, Germany
Wielemaker, Jan, Vrije University of Amsterdam, The Netherlands
Yap, Roland, National University, Singapore
Zaverucha, Gerson, UFRJ, Brasil
Zhang,Yuanlin, Texas Tech University, USA
Zhou, Neng-Fa, Brooklyn College, New York, USA

Any additional question can be directed towards the ICLP Chairs:

Related Resources

ArgXAI 2023   2nd International Workshop on Argumentation for eXplainable AI
ASPLOS 2024   The ACM International Conference on Architectural Support for Programming Languages and Operating Systems (Fall)
ASPLOS 2024   The ACM International Conference on Architectural Support for Programming Languages and Operating Systems (Spring)
AAMLASP 2023   Advanced Aspects of Machine Learning Algorithms for Scientific Programming
CP 2023   Principles and Practice of Constraint Programming
ICAISC 2023   International Conference on Artificial Intelligence and Soft Computing
ASPLOS 2024   The ACM International Conference on Architectural Support for Programming Languages and Operating Systems (Summer)
JELIA 2023   18th European Conference on Logics in Artificial Intelligence
IJANS 2023   International Journal on AdHoc Networking Systems
PLOS 2023   12th Workshop on Programming Languages and Operating Systems