About the Conference

The workshop aims at providing an informal meeting for researchers working on logic-based tools for development and analysis of programs. In addition to papers describing more conceptual work on environmental tools, we solicit papers describing the implementation of and experimentation with such tools.

We hope to attain the same friendly atmosphere as in past workshops, which enabled fruitful exchanges leading to joint research and subsequent publications.

Areas particularly relevant to the workshop include:

• static and dynamic analysis
• debugging and testing
• program verification and validation
• code generation from specifications
• termination and non-termination analysis
• reasoning on occurs-check freeness and determinacy
• frameworks and resources for sharing in the logic programming community
• profiling and performance analysis
• type- and mode analysis
• shape, point-to and escape analysis
• module systems
• optimization tools
• program understanding
• refactoring
• logical meta-languages

Conference Dates