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