*******************************************************************<br><div id=":70" class="ii gt"><br>               Call For Papers<br><br>                  WLPE 2009<br><br>    The 19th Workshop on Logic-based methods<br>
           in Programming Environments<br>
<br>    Pasadena, USA  July 14-17 (one day) 2009<br>          <a href="http://gpd.sip.ucm.es/WLPE09/" target="_blank">http://gpd.sip.ucm.es/WLPE09/</a><br><br>    Satellite event of the 25th International<br>    Conference on Logic Programming (ICLP 2009)<br>

      <a href="http://www.ist.unomaha.edu/iclp2009/" target="_blank">http://www.ist.unomaha.edu/iclp2009/</a><br><br>Our apologies if you receive this multiple times.<br><br>*******************************************************************<br>

<br>Important Dates:<br><br>Paper Submission:        April 30, 2009<br>Notification of Authors: May 26, 2009<br>Camera-ready:            June 8, 2009<br>Workshop:                One day in July 14-17 (TBA)<br><br>Objectives:<br>

<br>The aim of this workshop is to provide an informal meeting for researchers<br>working on logic-based methods and tools which support program development<br>and analysis. As in recent years we interpret the workshop topics to include<br>

not only environmental tools for logic programming but increasingly also<br>logic-based environmental tools for programming in general, so that this<br>workshop can be possibly interesting for a wider scientific community.<br>

In addition to papers describing more conceptual and theoretical work,<br>papers describing the implementation of, and experience with, such tools<br>will be welcome.<br><br>Topics:<br><br>Areas particularly relevant to the workshop include (but are not limited to):<br>

* Static and dynamic analysis<br>* Debugging and testing,<br>* Program verification and validation,<br>* Code generation from specifications,<br>* Termination analysis,<br>* Constraints,<br>* Rewriting,<br>* Profiling and performance analysis,<br>

* Type and mode analysis,<br>* Module systems,<br>* Optimization tools,<br>* Program understanding,<br>* Refactoring,<br>* Logical meta-languages.<br>Authors who are interested in taking part in the workshop, but are unsure<br>

if their work falls within its scope, are invited to contact the organizers<br>and will be given suitable advice.<br><br>Program Committee:<br><br>Puri Arenas University Complutense of Madrid<br>Rafael Caballero University Complutense of Madrid<br>

Michael Codish Ben-Gurion University of the Negev<br>John Gallagher University of Roskilde<br>Arnaud Gotlieb INRIA Rennes - Bretagne Atlantique Research Centre<br>Petra Hofstedt University of Technology Berlin<br>Michael Leuschel University of Düsseldorf<br>

German Puebla Technical University of Madrid<br>Mario Rodríguez-Artalejo University Complutense of Madrid<br>Tom Schrijvers K.U. Leuven<br>Alexander Serebrenik Eindhoven University of Technology<br>Alexandre Tessier LIFO, Universit d&#39;Orléans<br>

German Vidal Technical University of Valencia<br>Damiano Zanardini Technical University of Madrid<br><br>Workshop organizers:<br><br>Rafael Caballero Roldán (contact person)<br>Fac. de Informática<br>Universidad Complutense de Madrid<br>

28040-Madrid, Spain<br><a href="http://gpd.sip.ucm.es/rafa/" target="_blank">http://gpd.sip.ucm.es/rafa/</a><br><br>John Gallagher<br>Computer Science Dept., CBIT,<br>University of Roskilde<br>P.O. Box 260, 4000 Roskilde, Denmark<br>
<a href="http://www.ruc.dk/%7Ejpg/" target="_blank">http://www.ruc.dk/~jpg/</a><br>
<br><br>Publication:<br><br>Informal proceedings will be published as a technical report and distributed<br>at the workshop, as well as electronically at the Computing Research Repository (CoRR).<br><br>Previous editions of WLPE:<br>

<br>This workshop continues the series of successful international workshops on logic<br>programming environments held in Ohio, USA (1989), Eilat, Israel (1990), Paris,<br>France (1991), Washington D.C., USA (1992), Vancouver, Canada (1993), Santa Margherita<br>

Ligure, Italy (1994), Portland, USA (1995), Leuven, Belgium (1997), Las Cruces, USA (1999),<br>Paphos, Cyprus (2001), Copenhagen, Denmark (2002), Mumbai, India (2003), Saint Malo,<br>France (2004), Sitges (Barcelona), Spain (2005), Seattle, USA (2006), Porto, Portugal (2007)<br>

 and Udine, Italy (2008). More information about the series of WLPE<br>workshops can be found at <a href="http://www.cs.usask.ca/projects/envlop/WLPE/" target="_blank">http://www.cs.usask.ca/projects/envlop/WLPE/</a></div>