[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: +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/

Program committee -----------------

John Gallager (Roskilde University, Denmark) Gopal Gupta (University of Texas at Dallas, U.S.A) Michael Hanus (Christian-Albrechts-Universit=E4t zu Kiel, Germany) Pat Hill (University of Leeds, U.K.) Erwan Jahier (Verimag Laboratory, Gi=E8res, France) Gerda Janssens (KULeuven, Belgium) Susana Mu=F1oz-Hern=E1ndez (Universidad Polit=E9cnica 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=E0 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/

============================================================================== Message: Address: Action: help majordomo(a)clip.dia.fi.upm.es Info. on useful commands subscribe ciao-users-request(a)clip.dia.fi.upm.es Subscribe to this list unsubscribe ciao-users-request(a)clip.dia.fi.upm.es Unsubscribe from this list <whatever> ciao-users(a)clip.dia.fi.upm.es Send message to list ----------------------------------------------------------------------------- Archived messages: http://www.clip.dia.fi.upm.es/Mail/ciao-users/ -----------------------------------------------------------------------------