CICLOPS-WLPE 2014 - International Joint Workshop on Implementation of Constraint and Logic Programming Systems and Logic-based Methods in Programming Environments 2014

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