WLPE'13
Satellite Workshop of ICLP 2013.
|
23rd Workshop on
Logic-based methods in Programming Environments
24-25 August 2013    
Istanbul, Turkey
|
Conference DescriptionThe goal of the 23rd Workshop on Logic-based methods in
Programming
Environments (WLPE 2013) 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 23rd 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), Edinburgh, UK (2010), Lexington, USA (2011), and Budapest, Hungary (2012). We hope to attain the same friendly atmosphere as in past
workshops,
which enabled fruitful exchanges leading to joint research and
subsequent publications. Topics of interest cover environmental tools for logic
programming, logic-based environmental tools for programming in general
and frameworks and resources for sharing in the logic programming
community. Papers
describing applications in these areas are especially welcome.
Contributions are welcome on all aspects of logic-based methods,
including, but not limited to:
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. Important Dates
SubmissionsWe 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. Submissions must be made in Springer's LNCS format via the submission page: https://www.easychair.org/conferences/?conf=wlpe2013 An informal proceedings will be distributed electronically at
the workshop. After the workshop, the proceedings will be publicly
available on-line in the Computing Research Repository (CoRR). Invited SpeakersSamir Genaim. Ranking Functions for Linear-Constraint Loops.Program Committee
ContactProgram Chairs (contact them for additional information about papers and submissions): Jose F. Morales Rémy Haemmerlé Call for PapersYou can view or download the Call for Papers as VenueThe workshop will be held at the Sabancı Üniversitesi Karaköy Communications Center as a satellite workshop of ICLP 2013. Registration is possible at:
http://www.iclp2013.org/en/Registration.html |
|