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
Areas particularly relevant to the workshop include:
|Submissions:||June 20, 2012|
|Notification:||July 16, 2012|
|Event:||September 8, 2012-September 8, 2012|