coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Call For Papers: Workshop on Logic-based methods in Programming Environments (in conjunction with ICLP'05)

From: A Serebrenik <aserebre AT win.tue.nl>
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>, <ipa AT tue.nl>, <lprolog AT cs.umn.edu>, <mercury-ads AT cs.mu.oz.au>, <prog-lang AT diku.dk>, <theory-logics AT cs.cmu.edu>, <theorem-provers AT ai.mit.edu>, <gulp AT dimi.uniud.it>, <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>, <compulognet-parimp AT dia.fi.upm.es>, <compunode AT compulog.org>, <cphc-conf AT JISCMAIL.AC.UK>, <cs-logic AT cs.indiana.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>, <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>, <info-hol AT jaguar.cs.byu.edu>, <aprove AT i2.informatik.rwth-aachen.de>, <Claude.Marche AT lri.fr>, <rubio AT lsi.upc.es>, <dtai AT cs.kuleuven.ac.be>, <mcodish AT cs.bgu.ac.il>, <seworld AT cs.colorado.edu>, <rewriting AT ens-lyon.fr>, <coq-club AT pauillac.inria.fr>
Cc: WLPE 2005 - Program cmmittee -- Moreno Falaschi <falaschi AT dimi.uniud.it>, Fred Mesnard <fred AT univ-reunion.fr>, Gopal Gupta <gupta AT utdallas.edu>, Jan-Georg Smaus <smaus AT informatik.uni-freiburg.de>, Jose Manuel Gomez Perez <jgomez AT clip.dia.fi.upm.es>, Kostis Sagonas <kostis AT user.it.uu.se>, Maria Garcia de la Banda <mbanda AT csse.monash.edu.au>, Mireille Ducasse <Mireille.Ducasse AT irisa.fr>, P M Hill <hill AT comp.leeds.ac.uk>, Szeredi Peter <szeredi AT cs.bme.hu>, Susana Mu�oz Hern�ndez <susana AT fi.upm.es>, Wim Vanhoof <wva AT info.fundp.ac.be>
Subject: [Coq-Club] Call For Papers: Workshop on Logic-based methods in Programming Environments (in conjunction with ICLP'05)
Date: Tue, 10 May 2005 15:44:48 +0200 (CEST)
List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>

The 15th Workshop on Logic-based methods in Programming Environments
October 5, 2005                            Sitges (Barcelona), Spain

The 15th Workshop on Logic-based methods in Programming Environments
will take place in Sitges (Barcelona), Spain as a satellite workshop of
the 21th International Conference on Logic Programming (ICLP 2005).
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),
Copenhagen, Denmark (2002), Mumbai, India (2003) and Saint Malo, France
(2004).

The workshop aims at providing an informal meeting for the
researchers working on logic-based tools for development and analysis of
programs.  This year we want to emphasize two aspects: on one hand
we want to discuss the presentation, pragmatics and experiences of
such tools; on the other one, we want to shift the traditional focus on
environment tools for logic programming to logic-based environmental tools
for programming in general. Specific topic areas relevant to the
workshop include, but not limited to, are: tools for debugging and
testing, tools for static and dynamic analysis,
systems for program verification and validation, code
generation from specifications, termination and non-termination
analysers, reasoners on occurs-check freeness and determinacy,
profilers and performance analysers, systems for types and modes
analyses, module systems, optimization tools.

Workshop organisers:
* Susana Mu�oz Hern�ndez (Universidad Polit�cnica de Madrid, Spain)
* Alexander Serebrenik (coordinator, Technische Universiteit Eindhoven,
The Netherlands)

Program Committee
* Mireille Ducass� (INSA/IRISA, Rennes, France),
* Moreno Falaschi (Universit� di Siena),
* Maria Garc�a de la Banda (Monash University, Australia),
* Jos� Manuel G�mez P�rez (ISOCO, Spain),
* Gopal Gupta (University of Texas at Dallas, U.S.A),
* Pat Hill (University of Leeds, U.K.),
* Fred Mesnard (Universit� de La R�union, France),
* Kostis Sagonas (Uppsala Univeristy, Sweden)
* Jan-Georg Smaus (Universit�t Freiburg, Germany),
* Peter Szeredi (Budapest University of Technology and Economics, Hungary),
* Wim Vanhoof (University of Namur, Belgium)

Submissions: Length of papers can range from 2 to 15 A4-pages.
Informal proceedings will be published locally and distributed at the
workshop.
Authors are requested to email an electronic copy of a paper in standard
ps or pdf format  to: Alexander Serebrenik
(A.Serebrenik AT tue.nl,
phone:
+31 40 247 3595)

Important dates:
  Submission:   July 1,2005
  Notification: July 25, 2005
  Camera-ready: August 24, 2005
  Workshop:     October 5, 2005 (one half-day)

Additional information can be obtained from the workshop coordinator.
Event's Web homepage:
http://lml.ls.fi.upm.es/~susana/Conferences/WLPE05/index.html

[Coq-Club] Call For Papers: Workshop on Logic-based methods in Programming Environments (in conjunction with ICLP'05), A Serebrenik