[Apologies for multiple copies...]
-----------------------------------------------------------
WLPE 2012 - CALL FOR PARTICIPATION
*** EARLY REGISTRATION DEADLINE: July 31, 2012 ***
-----------------------------------------------------------
Workshop on Logic-based Methods in Programming Environments
(satellite workshop of ICLP 2012)
September 8, 2012 Budapest, Hungary
http://users.dsic.upv.es/workshops/wlpe2012/ -----------------------------------------------------------
IMPORTANT DATES
* Deadline for early registration: July 31, 2012 * Deadline for regular registration: August 17, 2012 * WLPE 2012: September 8, 2012
Registration site is open: http://www.cs.bme.hu/iclp2012/Registration.html
INVITED TALK
WLPE 2012 will feature an invited talk by
* Manuel Carro (Univ. Politécnica de Madrid)
The proceedings of WLPE 2012 will be available in pdf format during the workshop.
BACKGROUND AND SCOPE
Software plays a crucial role in modern society. While the continuous advent of faster, smaller and more powerful computing devices makes the development of new and interesting applications feasible, it puts even more demands on the software developer.
Having logic as the underlying formalism means that logic-based analysis techniques are often successfully used for program verification and optimization. Emerging programming paradigms and growing complexity of the properties to be verified pose new challenges for the community, while emerging reasoning techniques can be exploited. Moreover, extending the practical applicability of the existing approaches is an important task.
The workshop aims at providing an informal meeting for researchers working on logic-based tools for development and analysis of programs. As in recent years the workshop topics include not only environmental tools for logic programming but increasingly also logic-based environmental tools for programming in general and frameworks and resources for sharing in the logic programming community.
We hope to attain the same friendly atmosphere as in past workshops, which enabled fruitful exchanges leading to joint research and subsequent publications.
Previous 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), Sitges, Spain (2005), Seattle, Washington USA (2006), Porto, Portugal (2007), Udine, Italy (2008), Pasadena, USA (2009), Edinburgh, UK (2010), and Odense, Denmark (2011).
Program committee -----------------
Salvador Abreu Universidade de Évora, Portugal Petra Hofstedt University of Technology Berlin, Germany Jacob Howe City University London, UK Yoshitaka Kameya Tokyo Institute of Technology, Japan Roland Kaminski Universität Postdam, Germany Lunjin Lu Oakland University, USA Alexander Serebrenik Eindhoven University of Technology, The Netherlands Peter Schneider-Kamp University of Southern Denmark, Denmark Zoltan Somogyi University of Melbourne, Australia Win Vanhoof University of Namur, Belgium Alicia Villanueva Universitat Politècnica de València, Spain Damiano Zanardini Universidad Politécnica de Madrid, Spain
Workshop organizers -------------------
Win Vanhoof Faculty of Computer Science University of Namur Namur, Belgium Email: wlpe2012(a)dsic.upv.es
Alicia Villanueva Department of Computer Science (DSIC) Universitat Politècnica de València Valencia, Spain Email: wlpe2012(a)dsic.upv.es