WLPE 2007



WLPE'07

THE 17'TH WORKSHOP ON 
LOGIC-BASED METHODS IN PROGRAMMING ENVIRONMENTS 

September 13, 2007

Satellite workshop of ICLP'07

Porto, Portugal

The 17th Workshop on Logic-based methods in Programming Environments will take place in Porto, Portugal, as a satellite workshop of ICLP'07, the 23th International Conference on Logic Programming. This workshop will continue the series of successful international workshops on logic programming environments held in Ohio, USA (1989), Eilat, Israel (1990), Paris, France (1991), Washington, 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, Spain (2005) and Seattle, Washington USA (2006).

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. Areas particularly relevant to the workshop include:

  • static and dynamic analysis
  • debugging and testing
  • program verification and validation
  • code generation from specifications
  • termination and non-termination analysis
  • reasoning on occurs-check freeness and determinacy
  • profiling and performance analysis
  • type- and mode analysis
  • module systems
  • optimization tools

Note that this list is not exhaustive and, if you are interested in taking part in the workshop but unsure if your work falls within its scope, do contact the organisers who will be happy to advise.

An informal proceedings will be distributed at the workshop. After the workshop, the proceedings will be publicly available on-line in the Computing Research Repository (CoRR).

Back to top

Provisional Programme

Back to top

Accepted Papers

Back to top

Important dates:

  Submission: (extended) June 22, 2007
  Notification: July 8, 2007
  Camera-ready: August 15, 2007
  Workshop: September 13, 2007

Back to top

Workshop organizers:

Patricia Hill
School of Computing, University of Leeds
Leeds, England
Phone: +44 113 343 6807
Fax: +44 113 343 5468
http://www.comp.leeds.ac.uk/hill/

Wim Vanhoof
Insitut d'Informatique, University of Namur
Namur, Belgium
Phone: +32 81 72 49 77
Fax: +32 81 72 49 67
http://www.info.fundp.ac.be/~wva/

Back to top

Program committee: 

  • John Gallager (Roskilde University, Denmark)
  • Gopal Gupta (University of Texas at Dallas, U.S.A)
  • Michael Hanus (Christian-Albrechts-Universität zu Kiel, Germany)
  • Pat Hill (University of Leeds, U.K.)
  • Erwan Jahier (Verimag Laboratory, Gières, France)
  • Gerda Janssens (KULeuven, Belgium)
  • Susana Muñoz-Hernández (Universidad Politécnica de Madrid, Spain)
  • Baudouin Le Charlier (Catholic University of Louvain, Belgium)
  • Lunjin Lu (Oakland University, USA)
  • German Puebla (Technical University of Madrid, Spain)
  • Alexander Serebrenik (Technische Universiteit Eindhoven, The Netherlands)
  • Fausto Spoto (Università di Verona, Italy)
  • Wim Vanhoof (University of Namur, Belgium)
  • Enea Zaffanella (Università degli Studi di Parma, Italy)

Back to top

Event's Web homepage:

http://www.comp.leeds.ac.uk/hill/WLPE07/


Wim Vanhoof, Patricia M Hill; 2007-07-31