• Call for Papers
• Organizers
• Program Committee
• Important Dates
• Submissions
• Accepted Papers
• CoRR Guideline for authors
• Final Programme(and presentations)
• On line Proceedings
• PDF Proceedings

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
http://lml.ls.fi.upm.es/~susana/cv_E.html

Alexander Serebrenik (coordinator)
Technische Universiteit Eindhoven, The Netherlands
Phone: + 31 402473595
Fax: + 31 402474252
http://www.win.tue.nl/~aserebre

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

A.Serebrenik@tue.nl
Fax: +31 40 247 4252 (to the attention of Alexander Serebrenik)
Phone: +31 40 247 3595

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