[Apologies if you receive this more than once]
--------------------------------------------------------------------- C A L L F O R P A P E R S
The 14th Workshop on Logic Programming Environments WLPE'04
September 6 -- 10 (one day), 2004 Saint-Malo, France
http://clip.dia.fi.upm.es/Conferences/WLPE04/
Submission deadline: April 26, 2004 ---------------------------------------------------------------------
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 setting where researchers working on tools for the development and analysis of logic programs will be able to meet and discuss their most recent ideas. This year the emphasis is on two main aspects: on the one hand, presentation, pragmatics and experiences of such tools, and on the other hand, the extension of 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.
--------------------------------------------------------------------- WORKSHOP ORGANISERS: ---------------------------------------------------------------------
Susana Munoz-Hernandez susana(a)fi.upm.es (coordinator) http://lml.ls.fi.upm.es/~susana/cv_E.html
Jose Manuel Gomez-Perez jgomez(a)clip.dia.fi.upm.es http://clip.dia.fi.upm.es/~jgomez
--------------------------------------------------------------------- PROGRAM COMMITTEE: ---------------------------------------------------------------------
Maria Alpuente (Universidad Politecnica de Valencia, Spain), Maria Garcia de la Banda (Monash University, Australia), Jose Manuel Gomez-Perez (Universidad Politecnica de Madrid, Spain), Gopal Gupta (University of Texas at Dallas, U.S.A), Pat Hill (University of Leeds, U.K.), Fred Mesnard (Universite de La Reunion, France), Juan Jose Moreno-Navarro (Universidad Politecnica de Madrid, Spain), Susana Munoz-Hernandez (Universidad Politecnica de Madrid, Spain), Kostis Sagonas (Uppsala University, Sweden), Alexander Serebrenik (Ecole Polytechnique, France), Jan-Georg Smaus (Universitaet Freiburg, Germany), Alexandre Tessier (Universite d'Orleans, France).
--------------------------------------------------------------------- IMPORTANT DATES: ---------------------------------------------------------------------
Submission: April 26, 2004 Notification: May 13, 2004 Camera-ready: June 13, 2004 Workshop: one day between 6--10 December 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 written in English (formatted according to the Springer LNCS style, standard ps or pdf format) to Susana Munoz-Hernandez:
E- Mail: susana(a)fi.upm.es
Fax: + 34 913366595 (to the attention of Susana Munoz-Hernandez)
Phone: + 34 646465267 (office D2307)
Informal proceedings will be published as a technical report of Facultad de Informatica, Universidad Politecnica 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/ ---------------------------------------------------------------------
Accented symbols are omitted from this text. Information with the correct orthography is available at the workshop web site. ============================================================================== Message: Address: Action: help majordomo(a)clip.dia.fi.upm.es Info. on useful commands subscribe ciao-users-request(a)clip.dia.fi.upm.es Subscribe to this list unsubscribe ciao-users-request(a)clip.dia.fi.upm.es Unsubscribe from this list <whatever> ciao-users(a)clip.dia.fi.upm.es Send message to list ----------------------------------------------------------------------------- Archived messages: http://www.clip.dia.fi.upm.es/Mail/ciao-users/ -----------------------------------------------------------------------------