CICLOPS 2014 - The International Colloquium on Implementation of Constraint and LOgic Programming Systems (CICLOPS)

The International Colloquium on Implementation of Constraint and LOgic Programming Systems (CICLOPS) 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.
The aim of the Workshop on Logic-based methods in Programming Environments (WLPE) is to provide an informal meeting for researchers working on logic-based methods and tools which support program development and analysis. As in recent years, we interpret the workshop topics to include not only environmental tools for logic programming, but increasingly also logic-based environmental tools for programming in general and frameworks and resources for sharing in the logic programming community.
Software plays a crucial role in modern society. While the continuous advent of faster, smaller and more powerful computing devices makes the development of new and interesting applications feasible, it puts even more demands on the software developer. Indeed, while software keeps on growing in size and complexity, it is more than ever required to be delivered on time, free of error and meeting the most stringent efficiency requirements. One of the most important reasons for that is the increasing interaction of software with the real world where errors can result in irreversible damage. Consequently, the need for methods and tools that support the programmer in every aspect of the software development process is widely recognized.
Having logic as the underlying formalism means that logic-based analysis techniques are often successfully used for program verification and optimization. Emerging programming paradigms and growing complexity of the properties to be verified pose new challenges for the community, while emerging reasoning techniques can be exploited. Moreover, extending the practical applicability of the existing approaches is an important task. Hence, practical logic-based methods and tools for program analysis as well as concrete implementation techniques for the underlying logic frameworks and systems are the main topics of this joint workshop.
While CICLOPS has a strong focus on implementations, WLPE also aims at more conceptual and
theoretical work. Hence, their combination is a natural choice to offer researchers interested in
logic-based methods and systems a platform to discuss both practical and theoretical aspects.
Areas particularly relevant to the joint workshop include (but are not limited to):
implementation schemes
concurrent and distributed logic and constraint programming systems
dynamic compilation
memory management and garbage collection
indexing techniques and optimizations for large size programs
embedding of logic and constraint programming engines in multi-paradigm systems
alternative logic engines and inference mechanisms (ASP, SAT, QSAT, DL, etc.)
theorem provers
proof assistants
logic-based natural language processing systems
design and implementation of declarative I/O concepts
static and dynamic analysis
debugging and testing
program verification and validation
code generation from specifications
termination analysis
reasoning on occurs-check freeness and determinacy
profiling and performance analysis
type and mode analysis
shape, points-to and escape analysis
module systems
optimization tools
program understanding
refactoring
logical meta-languages
Previous Editions
The joint workshop CICLOPS-WLPE will continue a successful series of international workshops. It represents the 14th edition of the Colloquium on Implementation of Constraint and LOgic Programming Systems and the 24th edition of the Workshop on Logic-based methods in Programming Environments. Moreover, CICLOPS emerged from the workshop on Implementations of Logic Programming Systems in Budapest, Hungary (1993) and Ithaca, New York, USA (1994); the Compulog Net workshops on Parallelism and Implementation Technologies held in Madrid, Spain (1993 and 1994), Utrecht, the Netherlands (1995), and Bonn, Germany (1996); and the Workshop 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)
Previous editions of WLPE were held in:
Ohio, USA (1989)
Eilat, Israel (1990)
Paris, France (1991)
Washington D.C., USA (1992)
Vancouver, Canada (1993)
Santa Margherita Ligure, Italy (1994)
Portland, Oregon, USA (1995)
Leuven, Belgium and Port Jefferson, New York, USA (1997)
Las Cruces, New Mexico, USA (1999)
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, USA (2011)
Budapest, Hungary (2012)
Istanbul, Turkey (2013)