Logic List Mailing Archive
Logic-based methods in programming environments (WLPE 2008), Udine (Italy), 9-13 Dec 2008
Workshop on Logic-based methods in Programming Environments
WLPE08
http://www.clip.dia.fi.upm.es/Conferences/WLPE08/
(DEADLINE: 15:09:2008)
WLPE'08 -- Call for Papers
The 18th Workshop on Logic-based methods in Programming Environments
http://www.clip.dia.fi.upm.es/Conferences/WLPE08/
December 9th-13th 2008, Udine, Italy
(Satellite Workshop of ICLP 2008)
The 18th Workshop on Logic-based methods in Programming Environments
will take place in Udine (Italy), as a satellite workshop of ICLP
2008, the 24th 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 D.C., USA
(1992), Vancouver, Canada (1993), Santa Margherita Ligure, Italy
(1994), Portland, USA (1995), Leuven, Belgium (1997), Las Cruces, USA
(1999), Paphos, Cyprus (2001), Copenhagen, Denmark (2002), Mumbai,
India (2003), Saint Malo, France (2004), Sitges (Barcelona), Spain
(2005), Seattle, USA (2006) and Porto, Portugal (2007). More
information about the series of WLPE workshops can be found at
http://www.cs.usask.ca/projects/envlop/WLPE/
The workshop aims at providing an informal meeting for researchers
working on logic-based methods and tools which support program
development and analysis. This year, we plan to continue and
consolidate the shift in focus from environmental tools for logic
programming to logic-based environmental tools for programming in
general, so that this workshop can be possibly interesting for a wider
scientific community. In addition to papers describing more
conceptual and theoretical work, the call for papers will solicit
papers describing the implementation of, and the experience with, such
tools. Areas particularly relevant to the workshop include (but are
not limited to):
- static and dynamic analysis
- debugging and testing
- program verification and validation
- code generation from specifications
- termination and non-termination analysis
- reasoning on occurs-check freeness and determinacy
- profiling and performance analysis
- type- and mode analysis
- module systems
- optimization tools
Authors who are interested in taking part in the workshop, but are
unsure if their work falls within its scope, are invited to contact
the organizers and will be given suitable advice.
Workshop Organizers
-------------------
Puri Arenas
Facultad de Informatica
Universidad Complutense de Madrid
28040-Madrid, Spain
Email: puri@sip.ucm.es
Phone: +34 91 394 76 33
Fax: +34 91 336 50 18
http://www.clip.dia.fi.upm.es/puri
Damiano Zanardini
Facultad de Informatica
Universidad Politécnica de Madrid
28660-Boadilla del Monte, Madrid, Spain
Email: damiano@clip.dia.fi.upm.es
Phone: +34 91 336 74 48
Fax: +34 91 394 75 29
http://www.clip.dia.fi.upm.es/damiano
Program Committee
-----------------
- Puri Arenas, Universidad Complutense de Madrid (ws co-chair)
- Michael Codish, Ben-Gurion University of the Negev
- Roberta Gori, Universita di Pisa
- Arnaud Gotlieb, IRISA/CNRS UMR 6074
- Patricia Hill, University of Leeds
- Jacob Howe, City University, London
- Sabina Rossi, Universita Ca' Foscari di Venezia
- Tom Schrijvers, K.U.Leuven
- Alexander Serebrenik, Technische Universiteit Eindhoven
- Wim Vanhoof, University of Namur
- German Vidal, Universidad Politecnica de Valencia
- Damiano Zanardini, Universidad Politecnica de Madrid,(ws co-chair)
Important Dates
---------------
Submission: September 15th, 2008 (23:59:59 Samoa time (GMT -11))
Notification: October 8th, 2008
Camera-ready: October 26th, 2008
Workshop: TBA (probably Dec 9th or Dec 13th, half-day)
Submission
----------
Papers should be submitted to
http://www.easychair.org/conferences/?conf=wlpe2008
The length of papers can range from 2 to 15 pages in LNCS style.
Informal proceedings will be distributed at the workshop. After the
workshop, proceedings will be available on-line in the Computing
Research Repository (CoRR).
In addition to papers describing conceptual and theoretical work,
papers describing the implementation of and the experience with tools
are welcome.