VSL 2014: VIENNA SUMMER OF LOGIC 2014
CICLOPS-WLPE Home Page

Overview

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:

Previous editions of WLPE were held in:

A previous joint edition of CICLOPS-WLPE has taken place in Edinburgh, UK (2010).

Informal Proceedings

The informal proceedings of CICLOPS-WLPE 2014 have been published as technical report AIB-2014-09 at RWTH Aachen University. You can access these proceedings at http://sunsite.informatik.rwth-aachen.de/Publications/AIB/. In addition to that, they will also be included in the USB proceedings at VSL.

Call for Papers

Call for Papers

Organization

Program Committee

Contact

Thomas Ströder
Terrance Swift