WLPE 2004



WLPE' 04

September 6-7, 2004 
Saint-Malo, France

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:

  • 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).

Program committee: 

María Alpuente (Universidad Politécnica de Valencia, Spain) alpuente@dsic.upv.es
María García de la Banda (Monash University, Australia) Maria.GarciadelaBanda@infotech.monash.edu.au
José Manuel Gómez-Pérez (Universidad Politécnica de Madrid, Spain) jgomez@fi.upm.es
Gopal Gupta (University of Texas at Dallas, U.S.A) gupta@utdallas.edu
Pat Hill (University of Leeds, U.K.) hill@comp.leeds.ac.uk
Fred Mesnard (Université de La Réunion, France) fred@univ-reunion.fr
Kostis Sagonas (Uppsala University, Sweden) kostis@user.it.uu.se
Alexander Serebrenik (Katholieke Universiteit Leuven,Belgium) Alexander.Serebrenik@stix.polytechnique.fr
Jan-Georg Smaus (Universität Freiburg, Germany) smaus@informatik.uni-freiburg.de
Juán José Moreno (Universidad Politécnica de Madrid, Spain) jjmoreno@fi.upm.es
Susana Muñoz-Hernández (Universidad Politécnica de Madrid, Spain) susana@fi.upm.es
Alexandre Tessier (Université d'Orléans, France) Alexandre.Tessier@lifo.univ-orleans.fr

Important dates:

  Submission: May 7, 2004 (extended deadline)
  Notification: May 28, 2004
  Camera-ready: June 10, 2004
  Workshop: one day between 6-10 September 2004

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:
  Susana Muñoz-Hernández susana@fi.upm.es
  Facultad de Informática
  Campus de Montegancedo                  
Boadilla del Monte
28660 - MADRID
Fax: + 34 913366595
(to the attention of 
Susana Muñoz-Hernández)
  SPAIN Phone: + 34 646465267 
(office D2307)

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

Susana Muñoz-Hernández, José Manuel Gómez-Pérez 2004-01-02