W3C home > Mailing lists > Public > www-rdf-logic@w3.org > March 2006

(CFP) Workshop on Logic-based Methods in Programming Environments

From: <event@in.tu-clausthal.de>
Date: Wed, 15 Mar 2006 10:14:15 +0100
Message-ID: <4417DAE7.6070704@info.fundp.ac.be>
To: acl2@cs.utexas.edu, aiia@di.unito.it, aiia@dis.uniroma1.it, appiar@ncc.up.pt, atp@logic.tuwien.ac.at, calculemus-ig@calculemus.net, ccl@ps.uni-sb.de, ccp@sics.se, ciao-users@clip.dia.fi.upm.es, clp@comp.nus.edu.sg, clp@iscs.nus.edu.sg, complog@cs.nmsu.edu, compunode@dfki.de, concurrency@cwi.nl, eacsl@dimi.uniud.it, eatcs-it@cs.unibo.it, erlang-questions@erlang.org, event@in.tu-clausthal.de, fm-info@air16.larc.nasa.gov, formal-methods@cs.uidaho.edu, forum@jsoftware.com, frocos@loria.fr, fsdm@it.uq.edu.au, glp@first.gmd.de, gulp@di.unipi.it, haskell@haskell.org, lics@research.bell-labs.com, lopstr@cs.man.ac.uk, lprolog@cis.upenn.edu, lprolog@cs.umn.edu, mercury-ads@cs.mu.oz.au, mercury-users@cs.mu.oz.au, mlnet@swi.psy.uva.nl, mrg@mrg.dist.unige.it, prog-lang@diku.dk, prolog-vendors@sics.se, pvs@csl.sri.com, rewriting@ens-lyon.fr, seworld@cs.colorado.edu, sicstus-users@sics.se, siksleden-request@cs.uu.nl, softtech@cs.uu.nl, sra@itc.it, tag@cs.utexas.edu, theorem-provers@ai.mit.edu, theory@brics.dk, theorynt@listserv.nodak.edu, types@cis.upennfrommau.edu, users@mozart-oz.org
Cc:

[Apologies for multiple postings]

-----------------------------------------------------------

                 WLPE' 06 - CALL FOR PAPERS

             Workshop on Logic-based Methods in
                  Programming Environments

               (satellite workshop of ICLP’06)

                       August 16, 2006
                  Seattle (Washington), USA

     http://lml.ls.fi.upm.es/~susana/Conferences/WLPE06/
-----------------------------------------------------------

Aim and Scope
-------------

The 16th Workshop on Logic-based methods in Programming Environments
will take place in Seattle (Washington), USA, as a satellite workshop
of ICLP'06, the 22th 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), Mumbai, India (2003), Saint Malo, France (2004) and Sitges,
Spain (2005).

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 are not limited to:

* 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 analyzers
* reasoners on occurs-check freeness and determinacy
* profilers and performance analyzers
* systems for types and modes analyzes
* module systems
* optimization tools.

In addition to papers describing more conceptual work on environmental
tools, we solicit papers describing the implementation of and
experimentation with such tools.

Submission guidelines
---------------------

Length of papers can range from 2 to 17 pages, preferably in LNCS
format. Authors are requested to submit their paper using the
submission webpage at http://vampire.cs.man.ac.uk/WLPE-06/

Alternatively, authors can send a copy of their paper (in pdf or ps
format) to the workshop coordinator (wva@info.fundp.ac.be).

An informal proceedings will be published as a technical report of the
University of Namur and distributed at the workshop. After the workshop,
the proceedings will be publicly available on-line in the Computing
Research Repository (CoRR).


Important dates
---------------
Submission: 	May 15, 2006
Notification: 	June 15, 2006
Camera-ready: 	July 10, 2006
Workshop: 	August 16, 2006

Workshop organizers
-------------------

Susana Muñoz-Hernández		(Universidad Politécnica de Madrid, Spain)
Wim Vanhoof (coordinator)	(Univeristy of Namur, Belgium)

Program Committee
-----------------
María Alpuente			(Universidad Politécnica de Valencia, Spain)
Mireille Ducassé		(INSA/IRISA, Rennes, France)
John Gallager			(Roskilde University, Denmark)
María García de la Banda	(Monash University, Australia)
José Manuel Gómez-Pérez		(ISOCO Madrid, Spain)
Gopal Gupta			(University of Texas at Dallas, U.S.A)
Moreno Falaschi			(Università di Udine, Italy)
Pat Hill			(University of Leeds, U.K.)
Michael Leuschel		(Heinrich-Heine-Universitat Düsseldorf, Germany)
Fred Mesnard			(Université de La Réunion, France)
Susana Muñoz-Hernández		(Universidad Politécnica de Madrid, Spain)
Kostis Sagonas			(Uppsala University, Sweden)
Alexander Serebrenik		(Technische Universiteit Eindhoven, The Netherlands)
Zoltan Somogyi			(University of Melbourne, Australia)
Wim Vanhoof			(University of Namur, Belgium)
------------------------------------------------------------------------
This e-mail was delivered to you by event@in.tu-clausthal.de, what is a
moderated list ran by Computational Intelligence Group of Clausthal University of Technology, Germany. 
All event announcements sent through this list are also listed in our
conference planner at http://cig.in.tu-clausthal.de/index.php?id=planner.
 
In the case of any requests, questions, or comments, do not hesitate and 
contact event-owner@in.tu-clausthal.de ASAP. 
 
******************************************************
* CIG does not take any responsibility for validity  * 
* of content of messages sent through this list.     * 
******************************************************

Computational Intelligence Group
Department of Computer Science
Clausthal University of Technology
Germany
http://cig.in.tu-clausthal.de/
Received on Wednesday, 15 March 2006 10:58:20 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:52:53 GMT