[Prev][Next][Index][Thread]

Call for Participation: The 13th workshop on logic programming environments

        THE 13TH WORKSHOP ON LOGIC PROGRAMMING ENVIRONMENTS

PRECONFERENCE event of International Conference on Logic Programming 
(ICLP) 2003,        DECEMBER 8, 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).

List of accepted papers can be found at 
http://www.cs.kuleuven.ac.be/~alexande/wlpe03/lap.html

To enter India a visa might be required. If you plan to attend the
workshop please provide the coordinator 
(Alexander.Serebrenik@cs.kuleuven.ac.be) with your name and postal
address so that an official invitation letter might be sent you.

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/