The Coq mailing list

[Alexander Serebrenik <Alexander.Serebrenik AT cs.kuleuven.ac.be>]

******************************************************************
**** Submission deadline (September 12, 2003) is approaching! ****

*************** Apologies for multiple copies *********************

        THE 13TH WORKSHOP ON LOGIC PROGRAMMING ENVIRONMENTS

In Conjunction with International Conference on Logic Programming 
(ICLP) 2003,        December 9 - 13, 2003           Mumbai, India

*******************************************************************

The 13th Workshop on Logic Programming Environments will take place in
Mumbai, India, as part of a bigger event, ICLP'03, the 19th International
Conference on Logic Programming. This workshop continues 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) and Copenhagen, Denmark (2002).

The aim of our workshop is to provide an informal meeting for the
researchers working on tools for development and analysis of logic
programming. This year, the emphasis is on the presentation, pragmatics
and experiences of such tools. Specific topic areas relevant to the
workshop include, but not limited to, are: tools for debugging and
testing, systems for program verification and validation, termination and
non-termination analyzers, reasoners on occurs-check freeness and
determinacy, profilers and performance analyzers, systems for types and
modes analyses.

Motivations: 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 dedicated 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 logic programming community as well. In this framework, a
few number of debuggers have been designed. Furthermore, new logic
programming paradigms such as abductive reasoning pose new challenges for
the community.

But despite of these efforts of the research community, logic programming
is commonly recognised 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 the workshop proposed.

Workshop organizers: 
* Alexander Serebrenik (coordinator, Katholieke Universiteit Leuven,
Belgium) and 
* Fred Mesnard (Université de La Réunion, France).

Program committee: 
* Roberto Bagnara (Università degli studi di Parma, Italy), 
* Manuel Caro (Universidad Politécnica de Madrid, Spain), 
* Mireille Ducassé (INSA/IRISA, Rennes, France), 
* Pat Hill (University of Leeds, U.K.), 
* Naomi Lindenstrauss (Hebrew University of Jerusalem, Israel),
* Jan-Georg Smaus (Universität Freiburg, Germany), 
* Fausto Spoto (Universitàdi Verona, Italy), 
* Alexandre Tessier (Université d'Orléans, France).

Important dates:
     
  Submission: September 12, 2003
  Notification: October 10, 2003
  Camera-ready: November 7, 2003

Submissions: Length of papers can range from 2 to 15 pages. We plan to
publish revised versions of some papers selected by the program committee
as an ENTCS volume. Submissions intended for the ENTCS publication should 
be at least 10 pages long. Prospective authors are kindly requested to 
first send an indication of interest together with a paper title to the 
organizers. Authors are requested to email an electronic copy of a
paper in standard ps or pdf format to: 
Alexander.Serebrenik AT cs.kuleuven.ac.be
Authors unable to submit electronically may send a hardcopy to     

  Alexander Serebrenik 
  Dept of Computer Science, K.U.Leuven 
  Celestijnenlaan 200A,  B 3001 Leuven 
  Belgium 
  
  Fax:   +32 16 327996 (to the attention of Alexander Serebrenik)
  Phone: +32 16 327544 

An informal proceedings will be published as a technical report of the
Computer Science Department of Katholieke Universiteit Leuven and
distributed at the workshop.

Additional information can be obtained from the workshop coordinator.
Event's Web homepage: http://www.cs.kuleuven.ac.be/~alexande/wlpe03/ ;