• Call for Papers
• Organizers
• Program Committee
• Important Dates
• Submissions
• Final Programme

The 14th Workshop on Logic Programming Environments will take place as a satellite workshop of ICLP'04, the 20th 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) and Mumbai, India (2003).

The aim of the workshop is to provide an informal meeting for the researchers working on tools for the development and analysis of logic 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 extend the concept of ``logic programming'' environments to tools developed for any language based on computational logic (constraints, integration of paradigms, specification languages, ...).

Specific topic areas relevant to the workshop include, but are not limited to:

• tools for debugging and testing.
• systems for program verification and validation,
• code generation from specifications,
• termination and non-termination analysers,
• reasoners on occur-check freeness and determinacy,
• profilers and performance analysers,
• systems for types and modes analyses,
• module systems,
• optimization tools.

Software plays a crucial role in modern society. We are surrounded by computers and software depending devices. In such circumstances verifying software correctness becomes critical. Moreover, the growing demand for efficiency makes program analysis essential for developing software. In the context of logic programming considerable effort of the research community was devoted to the study of abstract interpretation and program verification. A number of analysis systems have been proposed. Software development has been a subject of the intensive research in the computational logic community as well. In this framework, a number of debuggers have been designed. Furthermore, new logic programming paradigms such as integration of multiparadigm programming, specification languages or abductive reasoning pose new challenges for the community.

But despite these efforts of the research community, computational logic is commonly considered as lagging behind other programming paradigms in terms of automatic support for software development. Therefore, studying and improving such systems is an important research area, especially if we aim to increase the share of logic programming in designing commercial software. Hence, practical tools for logic program analysis are the main topic of this workshop.

Workshop organizers:
Susana Muñoz-Hernández (coordinator) and José Manuel Gómez-Perez
(Universidad Politécnica de Madrid, Spain).

Informal proceedings will be published as a technical report of Facultad de Informática, Universidad Politécnica de Madrid and distributed at the workshop.

Additional information can be obtained from the workshop coordinator. 
Event's Web homepage: http://clip.dia.fi.upm.es/Conferences/WLPE04