LOPSTR'04 call for papers (extended deadlines!)
Sandro Etalle <etalle <at> cs.utwente.nl>
2004-05-04 06:58:45 GMT
LOPSTR 2004
Verona, Italy, August 26-28, 2004
http://www.sci.univr.it/~lopstr04
CALL FOR PAPERS
******** EXTENDED DEADLINES *******
full papers: May 7, 2004
extended abstracts: May 17, 2004
The aim of the LOPSTR series is to stimulate and promote international
research and collaboration on logic-based program development, and the
workshop is open to contributions in logic-based program development
in any language paradigm. Starting this year, LOPSTR will put extra
emphasis to the field of verification; in fact LOPSTR will also
incorporate the VCL (verification in computational logic) workshop
series.
LOPSTR'04 will be held at the University of Verona http://www.univr.it
co-located with SAS 2004 http://www.sci.univr.it/~sas04, the
International Static Analysis Symposium, PEPM 2004
http://www.sci.univr.it/~pepm04 - ACM SIGPLAN 2004 Workshop on Partial
Evaluation and Semantics Based Program Manipulation, and PPDP 2004
http://www.sci.univr.it/~ppdp04 - 6th ACM-SIGPLAN International
Conference on Principles and Practice of Declarative Programming.
Past workshops were held in Manchester, UK (1991, 1992, 1998),
Louvain-la-Neuve, Belgium (1993), Pisa, Italy (1994), Arnhem, the
Netherlands (1995), Stockholm, Sweden (1996), Leuven, Belgium (1997),
Venice, Italy (1999), London, UK (2000), Paphos, Cyprus (2001),
Madrid, Spain (2002), Uppsala, Sweden (2003). Since 1994 the
(Continue reading)