[Om-announce] CICLOPS 2013 - Last Call For Papers
ricroc at dcc.fc.up.pt
Wed May 22 16:07:33 CEST 2013
CICLOPS 2013 - Call for Papers
13th International Colloquium on
Implementation of Constraint and LOgic Programming Systems
Istanbul, Turkey, August 24/25, 2013
Co-located with ICLP 2013
Abstract Submission: June 1, 2013
Paper Submission: June 8, 2013
Notification: July 1, 2013
Camera-ready: July 13, 2013
Workshop: August 24/25, 2013
Topics of Interest
CICLOPS is a well established line of workshops. This will be the 13th
edition in a successful series of workshops which is traditionally
co-located with ICLP. The CICLOPS workshop aims at discussing and
exchanging experience on the design, implementation, and optimization
of constraint and logic programming systems, and other systems based
on logic as a means of expressing computations. Preference will be
given to the description and analysis of real implementations and
their evaluation, problems found in their design, steps taken towards
the solutions, as well as descriptions of work in progress in that
direction. The workshop topics include, but are not limited to:
* Design and implementation of sequential, concurrent and distributed
constraint and logic programming systems.
* Compile-time analysis and balance between compile-time effort and
run-time machinery, dynamic compilation.
* Interaction between high-level optimizations / transformations /
specialization and low-level issues.
* Memory management, garbage collection, indexing techniques and
optimizations for large size programs.
* Implementation of logic engines in functional and object oriented
* Embedding of constraint and logic programming engines in
* 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.
* Object and module systems.
* Design and implementation of declarative I/O concepts for constraint
and logic programming languages.
* Documenting, debugging, testing, and profiling tools for constraint
and logic programming systems.
Authors are invited to submit papers in PDF using the Springer LNCS
LaTeX format. Submissions must be written in English, not exceed 15
pages, and describe new, original and unpublished research results or
work in progress. Submissions will be handled by the EasyChair
conference system at:
We plan for the informal workshop proceedings to be available on-line
at the Computing Research Repository (CoRR) after the workshop. An
electronic copy will also be distributed during the conference.
* Ricardo Rocha, University of Porto, Portugal (co-chair)
* Christian Theil Have, Roskilde University, Denmark (co-chair)
* Bart Demoen, Department of Computer Science, KU Leuven, Belgium
* Daniel Diaz, University of Paris 1
* Enrico Pontelli, New Mexico State University, USA
* Jan Wielemaker, VU University Amsterdam, Netherlands
* Jose F. Morales, IMDEA, Spain
* Michael Hanus, Christian-Albrechts-Universität zu Kiel, Germany
* Neng-Fa Zhou, Brooklyn College, USA
* Nicos Angelopoulos, Netherlands Cancer Institute, The Netherlands
* Paulo Moura, INESC/CRACS, Portugal
* Peter Szeredi, Budapest University of Technology and Economics,Hungary
* Salvador Abreu, Universidade de Évora and CENTRIA, Portugal
* Terrance Swift, New University of Lisboa, Portugal
* Tom Schrijvers, Ghent University, Belgium
For additional information about papers and submissions, please
contact the Program Chairs:
* Ricardo Rocha
University of Porto, Portugal
Email: ricroc at dcc.fc.up.pt
* Christian Theil Have
Roskilde University, Denmark
Email: cth at ruc.dk
More information about the Om-announce