ICLP 2021

Scope and Tracks

Since the first conference held in Marseille in 1982, ICLP has been the premier international event for presenting research in logic programming.

Contributions to the Main Track are sought in all areas of logic programming, including but not restricted to:

Foundations:
Semantics, Formalisms, Nonmonotonic reasoning, Knowledge representation.
Languages issues:
Concurrency, Objects, Coordination, Mobility, Higher order, Types, Modes, Assertions, Modules, Meta-programming, Logic-based domain-specific languages, Programming techniques.
Programming support:
Program analysis, Transformation, Validation, Verification, Debugging, Profiling, Testing, Execution visualization.
Implementation:
Compilation, Virtual machines, Memory management, Parallel/distributed execution, Constraint handling rules, Tabling, Foreign interfaces, User interfaces.
Related Paradigms and Synergies:
Inductive and coinductive logic programming, Constraint logic programming, Answer set programming, Interaction with SAT, SMT and CSP solvers, Theorem proving, Argumentation, Probabilistic programming, Machine learning.
Applications:
Databases, Big data, Data integration and federation, Software engineering, Natural language processing, Web and semantic web, Agents, Artificial intelligence, Computational life sciences, Cybersecurity, Robotics, Education.

Besides the main track, ICLP 2021 will host additional tracks and special sessions:

Applications Track
This track invites 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.
More details

Recently Published Research Track
This track provides a forum to discuss important results related to logic programming that appeared recently (from January 2019 onwards) in selective journals and conferences, but have not been previously presented at ICLP.
More details

MentorLP - Mentoring Workshop on Logic Programming
The purpose of MentorLP is to support students and newcomers to pursue careers in logic programming research. This workshop will hold technical sessions on cutting-edge research in logic programming, and 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 talks on their research areas. We will also have live discussions among participants on how to overcome challenges and make contributions to the research community. MentorLP is dedicated to fostering and supporting diversity, equity, and inclusion. We especially encourage members of underrepresented groups to attend.
More details

Submission Details

Regular papers must be in the condensed TPLP format (template here) and not exceed 14 pages including bibliography. Regular papers may be supplemented with appendices for proofs and details of datasets which do not count towards the page limit. The supplementary material of the accepted papers will constitute a separate document and will be available as an appendix to the published document.

Three kinds of regular papers will be accepted:

Technical papers for technically sound, innovative ideas that can advance the state of logic programming;
Application papers that impact interesting application domains;
System and tool papers which emphasize novelty, practicality, usability, and availability of the systems and tools described.

All submissions must be written in English and 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.

Papers of the highest quality will be selected to be published in the journal of Theory and Practice of Logic Programming (TPLP), Cambridge University Press (CUP). In order to ensure the quality of the final version, papers will be subject to more than one round of refereeing (within the decision period).

The program committee may recommend some regular papers to be published as technical communications, in electronic form, in an EPTCS volume. Technical communications must not exceed 14 pages. The authors of the technical communications can also elect to convert their submissions into extended abstracts, of 2 or 3 pages, for inclusion in the EPTCS volume (specific editing instructions will be given in this case). This should allow authors to submit a long version elsewhere.

Authors may also consider to submit a short paper (up to 7 pages, in EPTCS format http://info.eptcs.org/, including references) describing original and unpublished work that will be considered for publication as part of the online EPTCS volume.

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.

At least one author for each accepted paper is required to register to the conference. All submissions must be made via the EasyChair conference system.

Submit Here

Affiliated Events

The ICLP conference series has a long standing tradition of hosting a rich set of co-located workshops. ICLP workshops provide a unique opportunity for the presentation and discussion of work that can be preliminary in nature, novel ideas, and new open problems to a wide and interested audience.

Co-located workshops also provide an opportunity for presenting specialized topics and opportunities for intensive discussions and project collaboration. The topics of the workshops co-located with ICLP 2021 can cover any areas related to logic programming (e.g., theory, implementation, environments, language issues, alternative paradigms, applications), including cross-disciplinary areas.

Workshops

Other Events

Conference Organization

General Chair

Ricardo Rocha, University of Porto, Portugal

Program Chairs

Andrea Formisano, University of Udine, Italy
Y. Annie Liu, Stony Brook University, USA

Organizing and Publicity Chair

Miguel Areias, University of Porto, Portugal

Track Chairs

Applications Track

Alex Brik, Google Inc., USA
Joost Vennekens, KU Leuven, Belgium

Recently Published Research Track

Gian Luca Pozzato, University of Turin, Italy
Neng-Fa Zhou, CUNY Brooklyn College and Graduate Center, USA

MentorLP - Mentoring Workshop on Logic Programming

Veronica Dahl, Simon Fraser University, Canada
Paul Fodor, Stony Brook University, USA

Workshop Chair

Nicos Angelopoulos, Cardiff University, UK

Doctoral Consortium and Autumn School Chairs

Bart Bogaerts, Vrije Universiteit Brussel, Belgium
Carmine Dodaro, University of Calabria, Italy

Programming Contest Chair

Mario Alviano, University of Calabria, Italy

Program Committee

Salvador Abreu, Universidade de Évora, Portugal
Mario Alviano, University of Calabria, Italy
Marcello Balduccini, Saint Joseph's University, USA
Roman Barták, Charles University, Czech Republic
Pedro Cabalar,University of Corunna, Spain
Manuel Carro, Technical University of Madrid and IMDEA, Spain
Stefania Costantini, University of L'Aquila, Italy
Marina De Vos, University of Bath, UK
Agostino Dovier, University of Udine, Italy
Inês Dutra, University of Porto, Portugal
Thomas Eiter, Vienna University of Technology, Austria
Esra Erdem, Sabanci University, Turkey
Wolfgang Faber, Alpen-Adria-Universität Klagenfurt, Austria
Sarah Alice Gaggl, Technische Universität Dresden, Germany
Marco Gavanelli, University of Ferrara, Italy
Martin Gebser, Alpen-Adria-Universität Klagenfurt, Austria
Michael Gelfond, Texas Tech University, USA
Laura Giordano, Università del Piemonte Orientale, Italy
Gopal Gupta, University of Texas, USA
Michael Hanus, CAU Kiel, Germany
Manuel Hermenegildo, IMDEA and Universidad Politécnica de Madrid, Spain
Giovambattista Ianni, University of Calabria, Italy
Katsumi Inoue, National Institute of Informatics, Japan
Tomi Janhunen, Tampere University, Finland
Michael Kifer, Stony Brook University, USA
Ekaterina Komendantskaya, Heriot-Watt University, UK
Nicola Leone, University of Calabria, Italy
Michael Leuschel, University of Dusseldorf, Germany
Ondřej Lhoták, University of Waterloo, Canada
Vladimir Lifschitz, University of Texas, USA
Fangzhen Lin, Hong Kong University of Science and Technology
Francesca Alessandra Lisi, University of Bari, Italy
Jorge Lobo, Pompeu Fabra University, Barcelona, Spain
Viviana Mascardi, University of Genova, Italy
Thomas Meyer, University of Cape Town, South Africa
Jose F. Morales, IMDEA Software Institute, Spain
Manuel Ojeda-Aciego, University of Malaga, Spain
Carlos Olarte, Universidade Federal do Rio Grande do Norte, Brazil
Magdalena Ortiz, Vienna University of Technology, Austria
Mauricio Osorio, Universidad de las Americas Puebla, Mexico
Enrico Pontelli, New Mexico State University, USA
Francesco Ricca, University of Calabria, Italy
Orkunt Sabuncu, TED University, Turkey
Chiaki Sakama, Wakayama University, Japan
Vitor Santos Costa, University of Porto, Portugal
Torsten Schaub, University of Potsdam, Germany
Konstantin Schekotihin, Alpen-Adria-Universität Klagenfurt, Austria
Tom Schrijvers, KU Leuven, Belgium
Tran Cao Son, New Mexico State University, USA
Theresa Swift, Universidade Nova de Lisboa, Portugal
Paul Tarau, University of North Texas, USA
Tuncay Tekle, Stony Brook University, USA
Michael Thielscher, The University of New South Wales, Australia
Mirek Truszczynski, University of Kentucky, USA
Allen van Gelder, University of California Santa Cruz, USA
German Vidal, Universitat Politècnica de València, Spain
Alicia Villanueva, Universitat Politècnica de València, Spain
Toby Walsh, University of New South Wales, Australia
Antonius Weinzierl, Vienna University of Technology, Austria
Jan Wielemaker, VU University of Amsterdam, Netherlands
Stefan Woltran, Vienna University of Technology, Austria
Roland Yap, National University of Singapore, Republic of Singapore
Jia-Huai You, University of Alberta, Canada

Registration (Closed)

The ICLP 2021 registration includes access to the Main Conference and all associated events - Workshops, Doctoral Consortium and Autumn School.

The following rules apply:

At least one author per accepted paper must register as Regular registration.

Some students' registrations will be covered by the AIJ Sponsorship, which includes 30 Free registrations. These will be granted by the following order: