LOGIC PROGRAMMING ENVIRONMENTS
September 6-7, 2004
colocated with the 3rd International Workshop on Multiparadigm Constraint Programming Languages MultiCPL'04
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:
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.
Submissions:Length of papers can range from 2 to 15 pages. Prospective authors are kindly requested to first send an indication of interest together with a paper title and abstract to the organizers. Authors are requested to email an electronic copy of a paper in standard ps or pdf format to:
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
Susana Muñoz-Hernández, José Manuel Gómez-Pérez 2004-01-02