(our apologies if you receive multiple copies of this message)
----------------------------------------------------------------------
21st Workshop on Logic-based methods in Programming Environments
Affiliated with ICLP 2011
July 10, Lexington, Kentucky, USA
http://imada.sdu.dk/~petersk/WLPE2011/
----------------------------------------------------------------------
DEADLINE EXTENSION
* Paper Submission: May 6
* Notification : May 20
NEWS
* keynote given by Manuel Hermenegildo (see INVITED SPEAKER)
* early registration is open until May 31 (see CONFERENCE VENUE)
* EPTCS acceptance for refereed post-proceedings (see SUBMISSIONS)
OBJECTIVES
The goal of the 21s Workshop on Logic-based methods in Programming
Environments (WLPE 2011) is to be a informal venue for presentation
and discussion of research on logic-based methods and tools which
support program development and analysis. In this way, the workshop
tries to bridge the gaps between different communities interested
and active in logic-based tools for programming.
In addition to papers describing more conceptual and theoretical work,
we explicitly also welcome papers describing the implementation of,
and experience with, such tools.
The 21st Workshop on Logic-based methods in Programming Environments
continues the series of successful workshops 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 and Port Jefferson, USA (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), Porto, Portugal (2007), Udine, Italy (2008),
Pasadena, USA (2009), and Edinburgh, UK (2010).
We hope to attain the same friendly atmosphere as in past workshops,
which enabled fruitful exchanges leading to joint research and
subsequent publications.
TOPICS
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 analysis
* reasoning on occurs-check freeness and determinacy
* profiling and performance analysis
* type and mode analysis
* shape, point-to and escape analysis
* module systems
* optimization tools
* program understanding
* refactoring
* logical meta-languages
Authors who are interested in taking part in the workshop, but are
unsure if their work falls within its scope, are warmly invited to
contact the organizers and obtain suitable advice.
SUBMISSIONS
We encourage the submission of original research in the area as well as
relevant results that have been submitted, rejected, or accepted elsewhere
as long as they are relevant for the WLPE community.
All papers must be written in English and should not exceed 15 pages.
We welcome also shorter submissions, e.g., extended abstracts and
short papers, of at least 3 pages.
There will be no formal reviewing and no formal proceedings. The accepted papers will be made available electronically before the workshop.
In case there is a sufficient number of original publications,
we will invite authors to refereed post-proceedings in EPTCS.
Papers should be submitted electronically via the submission page:
http://www.easychair.org/conferences/?conf=wlpe2011
Final versions should be created using LaTeX and the style file
eptcs.cls (
http://style.eptcs.org/). Alternatively, easychair.cls (
http://www.easychair.org/coolnews.cgi) can be used for the informal proceedings.
IMPORTANT DATES
Paper submission May 6
Notification May 20
Final versions due May 28
Workshop date July 10
INVITED SPEAKER
The keynote speaker will be Manuel Hermenegildo from the IMDEA Software
Institute and Universidad Politecnica de Madrid.
CONFERENCE VENUE
The workshop will be held as a satellite workshop of ICLP 2011
organized by the Computer Science Department of the University of
Kentucky in Lexington, Kentucky, USA.
Registration fees will be discounted until May 31. Registration
is now possible at:
http://www.cs.uky.edu/iclp2011/iclp11Registration.html
PROGRAM COMMITTEE
Michael Codish Ben-Gurion University, Israel
Carsten Fuhs RWTH Aachen, Germany
John Gallagher University of Roskilde, Denmark
Samir Genaim Complutense University of Madrid, Spain
Petra Hofstedt TU Berlin, Germany
Andy King University of Kent, UK
Ulrich Neumerkel TU Wien, Austria
Peter Schneider-Kamp University of Southern Denmark, Denmark
Tom Schrijvers Ghent University, Belgium
Alexander Serebrenik TU Eindhoven, The Netherlands
Wim Vanhoof University of Namur, Belgium
German Vidal Universitat Politecnica de Valencia, Spain
_______________________________________________
curry mailing list
curry_at_lists.RWTH-Aachen.DE
http://MailMan.RWTH-Aachen.DE/mailman/listinfo/curry
Received on Do Apr 28 2011 - 23:30:07 CEST