ICLP 2021

News


Welcome to ICLP 2021


The 37th International Conference on Logic Programming (ICLP 2021) will take place from the 20th of September 2021. It will be hosted by the Department of Computer Science of the University of Porto.

The safety of all conference participants is our main priority. Following the recommendations/guidelines, from the World Health Organization (WHO) and the European Centre for Disease Prevention and Control (ECDC), about the Coronavirus disease (COVID-19) outbreak, the ALP Executive Committee together with the conference's General Chair and Program Chairs, have decided to hold ICLP 2021 as a fully virtual event.

Invited Speakers


We are pleased to announce our distinguished invited speakers.

William W. Cohen, Google AI

John Hooker, CMU

Phokion Kolaitis, UC Santa Cruz and IBM Almaden

Stuart Russell, UC Berkeley

Jeffrey Ullman , Stanford University

Important Dates


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:

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

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:

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 regular papers and technical communications 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.


Affiliated Events


Workshops

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. However, any relevant workshop proposal will be considered.

Those interested in organizing a workshop at ICLP 2021 are invited to submit a workshop proposal following the Call for Workshops.

Other Events


Conference Organization


General Chair

Program Chairs

Organizing and Publicity Chair

Track Chairs

Workshop Chair

Doctoral Consortium and Autumn School Chairs

Programming Contest Chair

Program Committee

Accepted Papers


Registration


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

The following rules apply:

Early Registration (up to September 10, 2021)

Late Registration (up to September 20, 2021)

The registration form will be available soon!

Program


Contacts


Any additional questions can be directed towards the Program Chairs:

Sponsors