Call for Papers Prog. Committee Important Dates Submission Accepted papers LNCS Proceedings CoLogNET WS Venue Schedule Social Events Registration & Grants Accommodation Organization Sponsorships Co-located with: SAS '02 AGP '02 Organized by: |
Logic Based Program Development and Transformation LOPSTR '02 17 - 20 September 2002 Organized by: 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.
|