17 Jul 10:38
WLPE'08 - First call for Papers
From: WLPE-08 <ppdp08-cfp@...>
Subject: WLPE'08 - First call for Papers
Newsgroups: gmane.comp.mathematics.openmath.announce
Date: 2008-07-17 08:42:24 GMT
Subject: WLPE'08 - First call for Papers
Newsgroups: gmane.comp.mathematics.openmath.announce
Date: 2008-07-17 08:42:24 GMT
WLPE'08 -- Call for Papers
The 18th Workshop on Logic-based methods in Programming Environments
http://www.clip.dia.fi.upm.es/Conferences/WLPE08/
December 9th-13th 2008, Udine, Italy
(Satellite Workshop of ICLP 2008)
The 18th Workshop on Logic-based methods in Programming Environments
will take place in Udine (Italy), as a satellite workshop of ICLP
2008, the 24th International Conference on Logic Programming. This
workshop will continue the series of successful international
workshops on logic programming environments 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 (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) and Porto, Portugal (2007). More
information about the series of WLPE workshops can be found at
http://www.cs.usask.ca/projects/envlop/WLPE/
The workshop aims at providing an informal meeting for researchers
working on logic-based methods and tools which support program
development and analysis. This year, we plan to continue and
consolidate the shift in focus from environmental tools for logic
programming to logic-based environmental tools for programming in
(Continue reading)
RSS Feed