[CFP] WLPE'07 Workshop on Logic-based Methods in Programming Environments

[Wim Vanhoof]

[Apologies for multiple copies...]

-----------------------------------------------------------

WLPE' 07 - CALL FOR PAPERS

Workshop on Logic-based Methods in
Programming Environments

(satellite workshop of ICLP'07)

September 13, 2007
Porto, Portugal

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

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.

Submission guidelines
---------------------

We invite the submission of full papers which, excluding references,
should not exceed 16 pages, or short papers describing work in
progress which should be no more than 6 pages. Authors are requested
to submit their paper in standard postscript or pdf format (preferable
in Springer LNCS style) to:

http://www.easychair.org/WLPE07/
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).

Important dates
---------------

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

Workshop organizers
-------------------

Patricia Hill
School of Computing, University of Leeds
Leeds, England
Phone: [phone]
Fax: [phone]
http://www.comp.leeds.ac.uk/hill/

Wim Vanhoof
Insitut d'Informatique, University of Namur
Namur, Belgium
Phone: [phone]
Fax: [phone]
http://www.info.fundp.ac.be/~wva/
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 (Parma University, Italy)

Event's Web homepage
--------------------
http://www.comp.leeds.ac.uk/hill/WLPE07/