CICLOPS 2008

Colloquium on Implementation of Constraint and LOgic Programming Systems

(URL: http://www.clip.dia.fi.upm.es/Conferences/CICLOPS-2008/)

to be held in Udine (Italy) at the occasion of ICLP'08

December, 2008


Important dates and other relevant information

Submission will be done through EasyChair using the URL http://www.easychair.org/conferences/?conf=ciclops08.

Topics of interest

This workshop aims at discussing and exchanging experience on the design, implementation, and optimization of logic, constraint (logic) programming systems, and systems intimately related to logic as a means to express computations. Experience backed up by real implementations and their evaluation will be given preference, as well as descriptions of work in progress in that direction.

Topics include, but are not limited to:

Workshop Goals

Our intent is to bring together, in an informal setting, people involved in research on sequential and parallel implementation technologies for logic and constraint programming languages and systems, in order to promote the exchange of ideas and feedback on recent developments. We hope that the workshop will provide a meeting point for people working on implementation technology for different aspects of logic and constraint-based languages and systems.

Rationale and History

Progress in computing technology, including the now readily available multicore processors, increased memory capacity and bandwidth, faster networking technology, and O.S. support for cluster computing, combined with recent advances in compilation technologies and the wider adoption of alternative constraint/logic-based programming languages, are making high-level languages to be regarded as good candidates for programming complex, demanding applications. A witness of this very interesting trend is the interest of Intel with their sponsorship of the DAMP series of workshops. Logic Programming and Constraint Programming, in particular, offer one of the best alternatives, as they couple a very high level of abstraction and a declarative nature with flexibility its execution model, which can be adapted to different scenarios.

An orthogonal but synergistic issue in the pursue of high-performance and high-level languages comes from advances in implementation techniques for logic and constraint languages. These techniques aim at achieving both design flexibility and good performance in terms of speed and memory consumption, thus making those languages and systems more amenable than ever for real world applications. Maintaining flexibility without unnecessarily sacrificing performance, and while retaining a high level which relieves the programmer from burdening tasks, requires sophisticated technology whose exploration and development is one the aims of this workshop.

This workshop continues a tradition of successful workshops on Implementations of Logic Programming Systems, previously held with in Budapest (1993) and Ithaca (1994),  the Compulog Net workshops on Parallelism and Implementation Technologies held in Madrid (1993 and 1994), Utrecht (1995) and Bonn (1996), the Workshop on Parallelism and Implementation Technology for (Constraint) Logic Programming Languages held in Port Jefferson (1997), Manchester (1998), Las Cruces (1999), and London (2000), and more recently the Colloquium on Implementation of Constraint and LOgic Programming Systems in Paphos (Cyprus, 2001), Copenhagen (2002), Mumbai (2003), Saint Malo (France, 2004), Sitges (Spain, 2005), Seattle (U.S.A., 2006) and Porto (Portugal, 2007).

Submission Information

Authors are invited to submit papers written in English and not exceeding 15 pages and using LNCS format. Authors who wish to prepare papers in formats other than LaTeX are kindly requested to contact the organization beforehand in order to make sure that we have available the right tools to process the files (if needed), or in order to receive detailed format instructions otherwise.

Organization

Program Committee:

Workshop Coordinators:

Manuel Carro
http://clip.dia.fi.upm.es/~mcarro
Phone: +34-91-3367455

Bart Demoen
http://www.cs.kuleuven.be/~bmd/
Phone: +32 (0)16 327547

Please address any question regarding the workshop organization to the address ciclops-org =at= clip.dia.fi.upm.es. Use the obvious substitution in order to have a valid e-mail address.

Proceedings

We plan for the informal workshop proceedings to be available on-line at the Computing Research Repository after the workshop. An electronic copy will also be distributed during the conference.

Acknowledgments and Support

The organizers wish to thank the School of Computer Science of the UPM, the Computer Science Department of KU Leuven for their support, and the CLIP Lab of the UPM for the hosting and facilities provided.