WLPE 2013 - 23rd Workshop on Logic-based methods in Programming Environments

The goal of the 23rd Workshop on Logic-based methods in Programming Environments (WLPE 2013) is to be a informal venue for presentation and discussion of research on logic-based methods and tools which support program development and analysis. In this way, the workshop tries to bridge the gaps between different communities interested and active in logic-based tools for programming.
In addition to papers describing more conceptual and theoretical work, we explicitly also welcome papers describing the implementation of, and experience with, such tools.
The 23rd Workshop on Logic-based methods in Programming Environments continues the series of successful workshops held in Ohio, USA (1989), Eilat, Israel (1990), Paris, France (1991), Washington D.C., USA (1992), Vancouver, Canada (1993), Santa Margherita Ligure, Italy (1994), Portland, USA (1995), Leuven, Belgium and Port Jefferson, USA (1997), Las Cruces, USA (1999), Paphos, Cyprus (2001), Copenhagen, Denmark (2002), Mumbai, India (2003), Saint Malo, France (2004), Sitges (Barcelona), Spain (2005), Seattle, USA (2006), Porto, Portugal (2007), Udine, Italy (2008), Pasadena, USA (2009), Edinburgh, UK (2010), Lexington, USA (2011), and Budapest, Hungary (2012).
We hope to attain the same friendly atmosphere as in past workshops, which enabled fruitful exchanges leading to joint research and subsequent publications.
Topics of interest cover environmental tools for logic programming, logic-based environmental tools for programming in general and frameworks and resources for sharing in the logic programming community. Papers describing applications in these areas are especially welcome. Contributions are welcome on all aspects of logic-based methods, including, but not limited to:
static and dynamic analysis
debugging and testing
program verification and validation
code generation from specifications
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
Authors who are interested in taking part in the workshop, but are unsure if their work falls within its scope, are warmly invited to contact the organizers and obtain suitable advice.
Important Dates
Paper Submission: June 3, 2013
Notification of Authors: June 24, 2013
Camera-ready: July 15, 2013
Workshop: August 24-25, 2013