Skip to Content.
Sympa Menu

coq-club - [Coq-Club] Last Call for Papers - Workshop on Logic Programming Environments

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Last Call for Papers - Workshop on Logic Programming Environments


chronological Thread 
  • From: Alexander Serebrenik <Alexander.Serebrenik AT cs.kuleuven.ac.be>
  • To: clp AT comp.nus.edu.sg, concurrency AT cwi.nl, curry AT informatik.rwth-aachen.de, erlang-questions AT erlang.org, glp AT first.gmd.de, gulp AT dimi.uniud.it, ipa AT tue.nl, lprolog AT cs.umn.edu, mercury-ads AT cs.mu.oz.au, prog-lang AT diku.dk, theorem-provers AT ai.mit.edu, theory-logic AT cs.cmu.edu, types AT cis.upenn.edu, users AT mozart-oz.org, aiia AT di.unito.it, alp AT doc.ic.ac.uk, appiar AT ncc.up.pt, compulog AT doc.imperial.ac.uk, compulognet-parimp AT dia.fi.upm.es, compunode AT compulog.org, cphc-conf AT JISCMAIL.AC.UK, cs-logic AT cs.indiana.edu, dbworld AT cs.wisc.edu, dreamers AT dai.ed.ac.uk, fm-info AT air16.larc.nasa.gov, formal-methods AT cs.uidaho.edu, gulp AT di.unipi.it, info-hol AT jaguar.cs.byu.edu, isabelle-users AT cl.cam.ac.uk, kgs AT logic.tuwien.ac.at, nuprllist AT CS.Cornell.EDU, prolog-vendors AT sics.se, pvs AT csl.sri.com, theorynt AT listserv.nodak.edu, aprove AT i2.informatik.rwth-aachen.de, Claude.Marche AT lri.fr, rubio AT lsi.upc.es, dtai AT cs.kuleuven.ac.be, peter AT schneider-kamp.de, mcodish AT cs.bgu.ac.il, seworld AT cs.colorado.edu, rewriting AT ens-lyon.fr, coq-club AT pauillac.inria.fr
  • Subject: [Coq-Club] Last Call for Papers - Workshop on Logic Programming Environments
  • Date: Thu, 4 Sep 2003 15:45:58 +0200 (MEST)
  • List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>

******************************************************************
**** 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/ ;










Archive powered by MhonArc 2.6.16.

Top of Page