LOPSTR Home Page

22. LOPSTR 2012: Leuven, Belgium

• 
  Elvira Albert (Ed.): Logic-Based Program Synthesis and Transformation, 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers. Springer 2013 Lecture Notes in Computer Science 7844 ISBN 978-3-642-38196-6 [ contents ]

21. LOPSTR 2011: Odense, Denmark

• 
  Germán Vidal (Ed.): Logic-Based Program Synthesis and Transformation - 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers. Springer 2012 Lecture Notes in Computer Science 7225 ISBN 978-3-642-32210-5 [ contents ]

20. LOPSTR 2010: Hagenberg, Austria

• 
  María Alpuente (Ed.): Logic-Based Program Synthesis and Transformation - 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Papers. Springer 2011 Lecture Notes in Computer Science 6564 ISBN 978-3-642-20550-7 [ contents ]

19. LOPSTR 2009: Coimbra, Portugal

• 
  Danny De Schreye (Ed.): Logic-Based Program Synthesis and Transformation, 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Papers. Springer 2010 Lecture Notes in Computer Science 6037 ISBN 978-3-642-12591-1 [ contents ]

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. Springer 2009 Lecture Notes in Computer Science 5438 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. Springer 2008 Lecture Notes in Computer Science 4915 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. Springer 2007 Lecture Notes in Computer Science 4407 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. Springer 2006 Lecture Notes in Computer Science 3901 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. Springer 2005 Lecture Notes in Computer Science 3573 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. Springer 2004 Lecture Notes in Computer Science 3049 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. Springer 2004 Lecture Notes in Computer Science 3018 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. Springer 2003 Lecture Notes in Computer Science 2664 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. Springer 2001 Lecture Notes in Computer Science 2372 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. Springer 2000 Lecture Notes in Computer Science 1861 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. Springer 2001 Lecture Notes in Computer Science 2042 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. Springer 2000 Lecture Notes in Computer Science 1817 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. Springer 1990 Lecture Notes in Computer Science 1559 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. Springer 1998 Lecture Notes in Computer Science 1463 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. Springer 1997 Lecture Notes in Computer Science 1207 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. Springer 1996 Lecture Notes in Computer Science 1048 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. Springer 1994 Lecture Notes in Computer Science 883 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