21st Workshop on Logic-based methods in Programming Environments

ICLP 2011 Satellite Workshop, Lexington, Kentucky, July, 2011



Preliminary Schedule

09:00 - 10:00 Michael Hanus INVITED TALK - shared with CICLOPS
10:00 - 10:30 Michael Codish Boolean Equi-propagation for Optimized SAT Encoding
10:30 - 11:00 Mads Rosendahl and John Gallagher Extended Set Constraints and Tree Grammar Abstraction of Programs
11:00 - 11:30 BREAK
11:30 - 12:30 Manuel Hermenegildo INVITED TALK - Keynote 1
12:30 - 14:00 LUNCH
14:00 - 15:00 Ricardo Rocha INVITED TALK - Keynote 2
15:00 - 15:30 Paul Bone and Zoltan Somogyi Profiling parallel Mercury programs with ThreadScope
15:30 - 16:00 BREAK
16:00 - 16:30 Sergio Antoy and Michael Hanus Contracts and Specifications for Functional Logic Programming


The goal of the 21s Workshop on Logic-based methods in Programming Environments (WLPE 2011) 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 21st 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), and Edinburgh, UK (2010).

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 (but are 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
  • 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.


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.

There will be no formal reviewing and no formal proceedings. The accepted papers will be made available electronically before the workshop. In case there is a sufficient number of original publications, we will invite authors to refereed post-proceedings in EPTCS.

Papers should be submitted electronically via the submission page:


Final versions should be created using LaTeX and the style file eptcs.cls. Alternatively, easychair.cls can be used for the informal proceedings.

Important Dates

Paper SubmissionMay   6
NotificationMay 20
Final versions dueMay 28
WorkshopJuly 10

Invited Speakers

Keynote 1 will be given by Manuel Hermenegildo from the IMDEA Software Institute and Universidad Politecnica de Madrid.

Keynote 2 will be given by Ricardo Rocha from the University of Porto.

Conference Venue

The workshop will be held as a satellite workshop of ICLP 2011 organized by the Computer Science Department of the University of Kentucky in Lexington, Kentucky, USA.

Registration fees will be discounted until May 31. Registration is now possible at: