Call for Papers
Registration & Grants
Logic Based Program Development and Transformation
17 - 20 September 2002
Technical University of Madrid (Spain)
School of Computer Science
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.
LOPSTR'02 will be held at the Technical University of Madrid, co-located with International Static Analysis Symposium (SAS'02) and APPIA-GULP-PRODE Joint Conference on Declarative Programming (AGP'02). 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). Since 1994 the proceedings have been published in the LNCS series of Springer-Verlag.
LOPSTR also aims to be a lively, friendly forum for presenting and discussing work in progress, so it is a real workshop in the sense that it is also intended to provide useful feedback to authors on their preliminary research. A formal collection of papers has been published by Springer-Verlag as number 2664 in the Lecture Notes in Computer Science series. The proceedings have been produced only after the workshop, so that authors could incorporate this feedback in the published papers.