[TYPES] WLPE 2004 Call for Papers

[Jose Manuel Gomez Perez]

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

Jose Manuel Gomez-Perez	 jgomez at 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 at 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.