[mercury-users] Call for Participation: WLPE 2012

[Wim Vanhoof]

[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 at dsic.upv.es

     Alicia Villanueva
     Department of Computer Science (DSIC)
     Universitat Politècnica de València
     Valencia, Spain
     Email: wlpe2012 at dsic.upv.es
--------------------------------------------------------------------------
mercury-users mailing list
Post messages to:       mercury-users at csse.unimelb.edu.au
Administrative Queries: owner-mercury-users at csse.unimelb.edu.au
Subscriptions:          mercury-users-request at csse.unimelb.edu.au
--------------------------------------------------------------------------