WLPE 2005



October 5, 2005 
Sitges (Barcelona), Spain

The 15th Workshop on Logic-based methods in Programming Environments will take place as a satellite workshop of ICLP'05, the 21th 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) and Saint Malo, France (2004).

The workshop aims at providing an informal meeting for the researchers working on logicbased tools for development and analysis of programs. This year we want to emphasize two aspects: on one hand we want to discuss the presentation, pragmatics and experiences of such tools; on the other one, we want to shift the traditional focus on environment tools for logic programming to logic-based environmental tools for programming in general. Specific topic areas relevant to the workshop include, but not limited to, are: tools for debugging and testing, tools for static and dynamic analysis, systems for program verification and validation, code generation from specifications, termination and non-termination analysers, reasoners on occurs-check freeness and determinacy, profilers and performance analysers, systems for types and modes analyses, module systems, optimization tools.

Workshop organizers:
Susana Muñoz-Hernández

Universidad Politécnica de Madrid, Spain
Phone: + 34 646465267
Fax: + 34 913366595

Alexander Serebrenik (coordinator)
Technische Universiteit Eindhoven, The Netherlands
Phone: + 31 402473595
Fax: + 31 402474252

Program committee: 

Mireille Ducassé (INSA/IRISA, Rennes, France)
María García de la Banda (Monash University, Australia)
José Manuel Gómez-Pérez (ISOCO Madrid, Spain)
Gopal Gupta (University of Texas at Dallas, U.S.A)
Moreno Falaschi (University of Siena, Italy)
Pat Hill (University of Leeds, U.K.)
Fred Mesnard (Université de La Réunion, France)
Susana Muñoz-Hernández (Universidad Politécnica de Madrid, Spain)
Kostis Sagonas (Uppsala University, Sweden)
Alexander Serebrenik (Technische Universiteit Eindhoven, The Netherlands)
Jan-Georg Smaus (Universität Freiburg, Germany)
Peter Szeredi (Budapest University of Technology and Economics, Hungary)
Wim Vanhoof (University of Namur, Belgium)

Important dates: (flexible nowadays)

  Submission: July 1, 2005 ---> EXTENDED deadline: July 5, 2005
  Notification: July 25, 2005
  Camera-ready: August 24, 2005
  Workshop: October 5, 2005 (one half-day)

Submissions:Length of papers can range from 2 to 15 pages. An informal proceedings will be published as a technical report and distributed at the workshop. Authors are requested to email an electronic copy of a paper in standard ps or pdf format (preferable in Springer LNCS format) to:

Alexander Serebrenik
Technische Universiteit Eindhoven
P.O.Box 513
5600 MB Eindhoven
The Netherlands

Fax: +31 40 247 4252 (to the attention of Alexander Serebrenik)
Phone: +31 40 247 3595

The program committee has decided to publish the workshop proceedings at Computer Research Repository (CoRR).

Additional information can be obtained from the workshop coordinator. 
Event's Web homepage: http://lml.ls.fi.upm.es/~susana/Conferences/WLPE05

Susana Muñoz-Hernández, Alexander Serebrenik 2005-04-20