WLPE 2013
Istanbul, Turkey
August 24-25 2013
Paper submission deadline: June 3
Web site: http://clip.dia.fi.upm.es/Conferences/WLPE13/
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
Submissions
We encourage the submission of original research in the area as well as relevant results that have been submitted, rejected, or accepted elsewhere as long as they are relevant for the WLPE community.
All papers must be written in English and should not exceed 15 pages. We welcome also shorter submissions, e.g., extended abstracts and short papers, of at least 3 pages.
Submissions must be made in Springer’s LNCS format via the submission page:
An informal proceedings will be distributed electronically at the workshop. After the workshop, the proceedings will be publicly available on-line in the Computing Research Repository (CoRR).
Program Committee
| Salvador Abreu | Universidade de Évora, Portugal |
| Michael Codish | Ben Gurion University, Israel |
| John Gallagher | Roskilde University, Denmark |
| Rémy Haemmerlé | Universidad Politécnica de Madrid, Spain |
| Jacob Howe | City University London, UK |
| Jose F. Morales | IMDEA Software Institute, Spain |
| Vítor Santos Costa | Universidade do Porto, Portugal |
| Peter Schneider-Kamp | University of Southern Denmark, Denmark |
| Sylvain Soliman | Inria Paris-Rocquencourt, France |
| Terrance Swift | New University of Lisboa, Portugal |
| Win Vanhoof | University of Namur, Belgium |
| Alicia Villanueva | Universitat Politècnica de València, Spain |
Contact
Program Chairs (contact them for additional information about papers and submissions):
Jose F. Morales
IMDEA Software Institute
Madrid, Spain
Rémy Haemmerlé
Universidad Politécnica de Madrid
Madrid, Spain