[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: wlpe2...@dsic.upv.es
Alicia Villanueva
Department of Computer Science (DSIC)
Universitat Politècnica de València
Valencia, Spain
Email: wlpe2...@dsic.upv.es
_______________________________________________
Haskell mailing list
Haskell@haskell.org
http://www.haskell.org/mailman/listinfo/haskell
