System Demonstrations Track


This track provides an opportunity to showcase 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. Researchers and practitioners from all sub-areas of LP are encouraged to submit proposals to demonstrate their systems.

Submissions will be evaluated on the basis of their novelty and scientific or industrial contributions, relevance to the logic programming community, user-friendliness, and presentation.

We encourage submissions demonstrating novel techniques for logic programming, as well as submissions from mature systems, commercial and/or open-source systems, and systems in development.

Submission Details

Expected submissions

  • 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.

All submissions must be written in English.

The extended abstracts will be published in the Technical Communication Proceedings.

EPTCS format is described at

See the Important Dates page for important dates.

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