WLPE 2006
LOGIC-BASED METHODS IN PROGRAMMING ENVIRONMENTS
August 16, 2006
WLPE' 06 - CALL FOR PAPERS
Satellite workshop of ICLP'06
August 17-20, 2006
Seattle (Washington), USA
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 analysers, reasoners on occurs-check freeness and determinacy, profilers and performance analysers, systems for types and modes analyses, module systems, optimization tools.
Workshop organizers: Wim Vanhoof (coordinator)
Program committee:
Susana Muñoz-Hernández
Universidad Politécnica de Madrid, Spain
Phone: + 34 646465267
Fax: + 34 913366595
http://lml.ls.fi.upm.es/~susana/cv_E.html
University of Namur,Institut d'Informatique, Belgium
Phone: + 32 81724977
Fax: + 32 81724967
http://www.info.fundp.ac.be/~wva
| 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 | (University of Siena, Italy) |
| Pat Hill | (University of Leeds, U.K.) |
| Michael Leuschel | (Heinrich-Heine-Universitat Dusseldorf, 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) |
Important dates: (flexible nowadays)
| Submission: | May 28, 2006 (extended deadline) | |
| Notification: | June 15, 2006 | |
| Camera-ready: | July 10, 2006 | |
| Workshop: | August 16, 2006 (2:00 - 7:00 pm) |
Submissions:Length of papers can range from 2 to 15 pages. An informal proceedings will be published as a technical report and distributed at the workshop. Authors are requested to email an electronic copy of a paper in standard ps or pdf format (preferable in Springer LNCS format) to:
Wim Vanhoof
University of Namur,Institut d'Informatique
Rue Grandgagnage, 21
B-5000 Namur
Belgium
Wim Vanhoof
Phone: + 32 81724977
Fax: + 32 81724967 (to the attention of Wim Vanhoof)
Additional information can be obtained from the workshop
coordinator.
Event's Web homepage: http://lml.ls.fi.upm.es/~susana/Conferences/WLPE06
Susana Muñoz-Hernández & Wim Vanhoof, 2005-11-16