22nd Workshop on
Logic-based methods in Programming Environments
WLPE 2012
Budapest, Hungary
September 8, 2012
Satellite Workshop of ICLP 2012. Coordinated with CICLOPS 2012

o  Conference Description
o  Call for Papers
o  Workshop Program
o  Registration
o  Accepted papers
o  Important Dates
o  Submissions
o  Invited Speakers
o  Program Committee
o  Contact



Conference Description

This year, WLPE will be coordinated with CICLOPS. In particular, there will be two special events organised: (a) SWI-25, a celebration and retrospective of the open source SWI-Prolog engine on the occasion of its 25th birthday, and (b) OpenPL, an event on (1) coordinating libraries and add-on packages, and (2) the creation of a user-contributing repository of Prolog cod.

The goal of the 22nd Workshop on Logic-based methods in Programming Environments (WLPE 2012) 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 22nd 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), and Odense, Denmark (2011).

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 20, 2012
    Notification of Authors: July 16, 2012
    Camera-ready: July 27, 2012
    Workshop: September 8, 2012


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.

Papers should be submitted electronically 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).

Invited Speakers

Invited talk will be given by

Manuel Carro. Technical University of Madrid (UPM) and IMDEA Software Institute

Title: Constraint-Based Runtime Prediction of SLA Violations in Service Orchestrations

Program Committee

Salvador Abreu Universidade de Évora, Portugal
Petra Hofstedt University of Technology Berlin, Germany
Jacob Howe City University London, UK
Yoshitaka Kameya Tokyo Institute of Technology, Japan
Roland Kaminski Universität Postdam, Germany
Lunjin Lu Oakland University, USA
Alexander Serebrenik Eindhoven University of Technology, The Netherlands
Peter Schneider-Kamp University of Southern Denmark, Denmark
Zoltan Somogyi University of Melbourne, Australia
Win Vanhoof University of Namur, Belgium
Alicia Villanueva Universitat Politècnica de València, Spain
Damiano Zanardini Universidad Politécnica de Madrid, Spain


Program Chairs (contact them for additional information about papers and submissions):

Win Vanhoof
Institut d'informatique
University of Namur
Namur, Belgium
Email: wlpe2012@dsic.upv.es
Alicia Villanueva
Department of Computer Science (DSIC)
Universitat Politècnica de València
Valencia, Spain
Email: wlpe2012@dsic.upv.es

Call for Papers

You can view or download the Call for Papers as