International Workshop on Logic Program Synthesis and Transformation
(LOPSTR)
LOPSTR Home Page
18. LOPSTR 2008: Valencia, Spain
Michael Hanus (Ed.):
Logic-Based Program Synthesis and Transformation, 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers.
Lecture Notes in Computer Science 5438 Springer 2009, ISBN 978-3-642-00514-5
Contents 
17. LOPSTR 2007: Kongens Lyngby, Denmark
Andy King (Ed.):
Logic-Based Program Synthesis and Transformation, 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised Selected Papers.
Lecture Notes in Computer Science 4915 Springer 2008, ISBN 978-3-540-78768-6
Contents
16. LOPSTR 2006: Venice, Italy
Germán Puebla (Ed.):
Logic-Based Program Synthesis and Transformation, 16th International Symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006, Revised Selected Papers.
Lecture Notes in Computer Science 4407 Springer 2007, ISBN 978-3-540-71409-5
Contents
15. LOPSTR 2005: London, UK
Patricia M. Hill (Ed.):
Logic Based Program Synthesis and Transformation, 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers.
Lecture Notes in Computer Science 3901 Springer 2006, ISBN 3-540-32654-5
Contents
14. LOPSTR 2004: Verona, Italy
Sandro Etalle (Ed.):
Logic Based Program Synthesis and Transformation, 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004, Revised Selected Papers.
Lecture Notes in Computer Science 3573 Springer 2005, ISBN 3-540-26655-0
Contents
- LOPSTR 2004 Home Page
Program Development in Computational Logic 2004
Maurice Bruynooghe, Kung-Kiu Lau (Eds.):
Program Development in Computational Logic: A Decade of Research Advances in Logic-Based Program Development.
Lecture Notes in Computer Science 3049 Springer 2004, ISBN 3-540-22152-2
Contents
13. LOPSTR 2003: Uppsala, Sweden
Maurice Bruynooghe (Ed.):
Logic Based Program Synthesis and Transformation, 13th International Symposium LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003, Revised Selected Papers.
Lecture Notes in Computer Science 3018 Springer 2004, ISBN 3-540-22174-3
Contents
-
Preproceedings
12. LOPSTR 2002: Madrid, Spain
Michael Leuschel (Ed.):
Logic Based Program Synthesis and Tranformation, 12th International Workshop, LOPSTR 2002, Madrid, Spain, September 17-20,2002, Revised Selected Papers.
Lecture Notes in Computer Science 2664 Springer 2003, ISBN 3-540-40438-4
Contents
- LOPSTR 2002 Home Page
11. LOPSTR 2001: Paphos, Cyprus
Alberto Pettorossi (Ed.):
Logic Based Program Synthesis and Transformation, 11th International Workshop, LOPSTR 2001, Paphos, Cyprus, November 28-30, 2001, Selected Papers.
Lecture Notes in Computer Science 2372 Springer 2001, ISBN 3-540-43915-3
Contents
- LOPSTR 2001 Home Page
10. LOPSTR 2000: London, UK
LOPSTR 2000 Home Page
LOPSTR 2000 is part of CL 2000
John W. Lloyd, Verónica Dahl, Ulrich Furbach, Manfred Kerber, Kung-Kiu Lau, Catuscia Palamidessi, Luís Moniz Pereira, Yehoshua Sagiv, Peter J. Stuckey (Eds.):
Computational Logic - CL 2000, First International Conference, London, UK, 24-28 July, 2000, Proceedings.
Lecture Notes in Computer Science 1861 Springer 2000, ISBN 3-540-67797-6
Contents
Kung-Kiu Lau (Ed.):
Extended Abstracts of the 10th International Workshop on Logic-based Program Synthesis and Transformation, July 2000,
Imperial College London,
LOPSTR 2000
Technical Report,
UMCS-00-6-1,
Department of Computer Science,
University of Manchester,
ISSN 1361-6161,
ftp://ftp.cs.man.ac.uk/pub/TR/UMCS-00-6-1.html
Contents
Kung-Kiu Lau (Ed.):
Logic Based Program Synthesis and Transformation, 10th International Workshop, LOPSTR 2000 London, UK, July 24-28, 2000, Selected Papers.
Lecture Notes in Computer Science 2042 Springer 2001, ISBN 3-540-42127-0
Contents
9. LOPSTR 1999: Venezia, Italy
Annalisa Bossi (Ed.):
Logic Programming Synthesis and Transformation, 9th International Workshop, LOPSTR'99, Venezia, Italy, September 22-24, 1999, Selected Papers.
Lecture Notes in Computer Science 1817 Springer 2000, ISBN 3-540-67628-7
Contents
- LOPSTR 1999 Home Page
8. LOPSTR 1998: Manchester, U.K.
Pierre Flener (Ed.):
Logic Programming Synthesis and Transformation, 8th International Workshop, LOPSTR'98, Manchester, UK, June 15-19, 1998, Proceedings.
Lecture Notes in Computer Science 1559 Springer 1990, ISBN 3-540-65765-7
Contents
- LOPSTR 1998 Home Page
7. LOPSTR 1997: Leuven, Belgium
Norbert E. Fuchs (Ed.):
Logic Programming Synthesis and Transformation, 7th International Workshop, LOPSTR'97, Leuven, Belgium, July 10-12, 1997, Proceedings.
Lecture Notes in Computer Science 1463 Springer 1998, ISBN 3-540-65074-1
Contents
6. LOPSTR 1996: Stockholm, Sweden
John P. Gallagher (Ed.):
Logic Programming Synthesis and Transformation, 6th International Workshop, LOPSTR'96, Stockholm, Sweden, August 28-30, 1996, Proceedings.
Lecture Notes in Computer Science 1207 Springer 1997, ISBN 3-540-62718-9
Contents
- LOPSTR 96 Home Page
5. LOPSTR 1995: Utrecht, The Netherlands
Maurizio Proietti (Ed.):
Logic Programming Synthesis and Transformation, 5th International Workshop, LOPSTR'95, Utrecht, The Netherlands, September 20-22, 1995, Proceedings.
Lecture Notes in Computer Science 1048 Springer 1996, ISBN 3-540-60939-3
Contents
- LOPSTR 95 Home Page
4. LOPSTR/META 1994: Pisa, Italy
Laurent Fribourg, Franco Turini (Eds.):
Logic Programming Synthesis and Transformation - Meta-Programming in Logic. 4th Internation Workshops, LOPSTR'94 and META'94, Pisa, Italy, June 20-21, 1994, Proceedings.
Lecture Notes in Computer Science 883 Springer 1994, ISBN 3-540-58792-6
Contents
3. LOPSTR 1993: Louvain-la-Neuve, Belgium
Yves Deville (Ed.):
Logic Program Synthesis and Transformation,
Proceedings of LOPSTR 93, International Workshop on Logic Program Synthesis
and Transformation, Louvain-la-Neuve, Belgium, 7-9 July 1993.
Workshops in Computing, Springer 1994,
ISBN 3-540-19864-4 and 0-387-19864-4
Contents
2. LOPSTR 1992: Manchester, UK
Kung-Kiu Lau, Tim P. Clement (Eds.):
Logic Program Synthesis and Transformation,
Proceedings of LOPSTR 92, International Workshop on Logic Program Synthesis
and Transformation, University of Manchester, 2-3 July 1992.
Workshops in Computing, Springer 1993,
ISBN 3-540-19806-7 and 0-387-19806-7
Contents
1. LOPSTR 1991: Manchester, UK
Tim P. Clement,
Kung-Kiu Lau (Eds.):
Logic Program Synthesis and Transformation,
Proceedings of LOPSTR 91, International Workshop on Logic Program Synthesis
and Transformation, University of Manchester, 4-5 July 1991.
Workshops in Computing, Springer 1992,
ISBN 3-540-19742-7 and 0-387-19742-7
Contents
Copyright © Fri Mar 12 17:18:20 2010
by Michael Ley (ley@uni-trier.de)
