Program

Gopal Gupta

Goal-directed Predicate Answer Set Programming: Issues and Challenges^{invited talk}

Paul Tarau

A Hitchhiker's Guide to Reinventing a Prolog Machine (slides)

Michael Hanus

CPM: A Declarative Package Manager with Semantic Versioning (slides)

Pedro López-García

Static Profiling of Parametric Resource Usage as a Valuable Aid for Hot-spot Detection^{invited talk} (slides)

Overview

CICLOPS'17 is being held in conjunction with ICLP'17, CP'17, and SAT'17.

The workshop aims at discussing and exchanging experience on the design, implementation, and optimization of logic, constraint (logic) programming systems, and other systems based on logic as a means of expressing computations. Experience backed up by real implementations and their evaluation is given preference, as well as descriptions of work in progress in that direction.

Topics included, but not limited to:

• Sequential implementation schemes (abstract machines, translation to other languages, etc.).
• Implementation of concurrent and distributed logic and constraint programming systems.
• Implementation of type inference and type checking systems for logic and constraint programming languages.
• Compile-time analysis and its application to code generation.
• Balance between compile-time effort and run-time machinery, dynamic compilation.
• Interaction between high-level optimizations / transformations / specialization and low-level issues.
• Memory management and garbage collection issues.
• Indexing techniques and optimizations for large size programs.
• Optimizations for program generated logic and constraint programs.
• Implementation of logic engines in functional and object oriented languages.
• Embedding of logic and constraint programming engines in multi-paradigm systems.
• Implementation techniques for alternative logic engines and inference mechanisms (ASP, SAT, QSAT, DL etc.).
• Implementation of theorem provers, proof assistants and logic based natural language processing systems.
• Implementation of object and agent-oriented extensions to logic and constraint programming languages.
• Object and module systems.
• Design and implementation of declarative I/O concepts for logic and constraint programming languages.
• Implementations and ports of logic and constraint programming systems for mobile phones and netbooks.
• Documenting, debugging, testing, and profiling tools for logic and constraint programming systems.
• Novel compilation methods to modern hardware (e.g. GPUs).

Important Dates

Paper Submission (presentation-only):

11 July 2017

Paper Submission:

18 June 2017 28 June 2017 (extended)

Author Notification:

10 July 2017 17 July 2017 (extended)

Camera-ready Copy:

23 July 2017 31 July 2017 (extended)

News

10 July 2017:

New submission category added!

20 June 2017:

Paper submission period extended until 28th of June!

19 May 2017:

The CICLOPS'17 webpage has been created!

Submission Details

Regular submissions

The workshop will welcome all short papers that are technically sound and on-topic, including contributions to theory, reports of interesting applications, reports of work in progress, experience papers, suggestions for new challenging problems, system descriptions, comparison and discussion papers, and improvements to known results/proofs/implementations.

All papers must be written in English and should not exceed 15 pages. We welcome also shorter submissions, e.g., extended abstracts and short papers, of at least 3 pages. For all accepted papers, at least one author is required to attend the workshop and give a presentation of 30 minutes including discussion.

Submissions must be made in Springer's LNCS format via the page: https://easychair.org/conferences/?conf=ciclops2017

A program committee consisting of members from different research groups in the area will review the submissions on EasyChair. Papers will be reviewed by at least two, and usually three, referees.

Presentation-only submissions

This year's workshop edition also features a new submission category: presentation-only papers, i.e., papers already submitted or presented at a conference or another workshop. Such papers can be submitted in any format through the submissions page (see above), and will not be included in the workshop post-proceedings.

Previous Editions

CICLOPS workshop emerged from the following events:

• the workshops on Implementations of Logic Programming Systems (ILPS) held in Budapest, Hungary (1993) and Ithaca, New York, USA (1994)
• the Compulog Net workshops on Parallelism and Implementation Technologies held in Madrid, Spain (1993) (1994), Utrecht, the Netherlands (1995), and Bonn, Germany (1996)
• and the workshops on Parallelism and Implementation Technology for (Constraint) Logic Programming Languages held in Port Jefferson, New York, USA (1997), Manchester, UK (1998), Las Cruces, New Mexico, USA (1999), and London, UK (2000).

Previous editions of CICLOPS have taken place in Paphos, Cyprus (2001), Copenhagen, Denmark (2002), Mumbai, India (2003), Saint Malo, France (2004), Sitges, Spain (2005), Seattle, Washington, USA (2006), Porto, Portugal (2007), Udine, Italy (2008), Pasadena, California, USA (2009), Lexington, Kentucky, USA (2011), Budapest, Hungary (2012), Istanbul, Turkey (2013), and Vienna, Austria (2014).

Program Committee

Contact

ciclops2017@software.imdea.org

Organization

• Jose F. Morales
• Nataliia Stulova