Call for Papers
  Prog. Committee
  Important Dates


Accepted papers

LNCS Proceedings




Social Events

Registration & Grants




Co-located with:

SAS '02

AGP '02

Organized by:

SAS '02

International Workshop on
Logic Based Program Development and Transformation
17 - 20 September 2002

Organized by:
Technical University of Madrid (Spain)
School of Computer Science

LNCS Proceedings are now available online!

    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.