International Workshop on Logic Program Synthesis and Transformation (LOPSTR)
26. LOPSTR 2016: Edinburgh, UK
- Manuel V. Hermenegildo, Pedro López-García:
Logic-Based Program Synthesis and Transformation - 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6-8, 2016, Revised Selected Papers. Lecture Notes in Computer Science 10184, Springer 2017, ISBN 978-3-319-63138-7 [contents]
25. LOPSTR 2015: Siena, Italy
- Moreno Falaschi:
Logic-Based Program Synthesis and Transformation - 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers. Lecture Notes in Computer Science 9527, Springer 2015, ISBN 978-3-319-27435-5 [contents]
24. LOPSTR 2014: Canterbury, UK
- Maurizio Proietti, Hirohisa Seki:
Logic-Based Program Synthesis and Transformation - 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers. Lecture Notes in Computer Science 8981, Springer 2015, ISBN 978-3-319-17821-9 [contents]
23. LOPSTR 2013: Madrid, Spain
- Gopal Gupta, Ricardo Peña:
Logic-Based Program Synthesis and Transformation, 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers. Lecture Notes in Computer Science 8901, Springer 2014, ISBN 978-3-319-14124-4 [contents]
22. LOPSTR 2012: Leuven, Belgium
- Elvira Albert:
Logic-Based Program Synthesis and Transformation, 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers. Lecture Notes in Computer Science 7844, Springer 2013, ISBN 978-3-642-38196-6 [contents]
21. LOPSTR 2011: Odense, Denmark
- Germán Vidal:
Logic-Based Program Synthesis and Transformation - 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers. Lecture Notes in Computer Science 7225, Springer 2012, ISBN 978-3-642-32210-5 [contents]
20. LOPSTR 2010: Hagenberg, Austria
- María Alpuente:
Logic-Based Program Synthesis and Transformation - 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Papers. Lecture Notes in Computer Science 6564, Springer 2011, ISBN 978-3-642-20550-7 [contents]
19. LOPSTR 2009: Coimbra, Portugal
- Danny De Schreye:
Logic-Based Program Synthesis and Transformation, 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Papers. Lecture Notes in Computer Science 6037, Springer 2010, ISBN 978-3-642-12591-1 [contents]
18. LOPSTR 2008: Valencia, Spain
- Michael Hanus:
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:
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:
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:
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:
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]
13. LOPSTR 2003: Uppsala, Sweden
- Maurice Bruynooghe:
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]
12. LOPSTR 2002: Madrid, Spain
- Michael Leuschel:
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]
11. LOPSTR 2001: Paphos, Cyprus
- Alberto Pettorossi:
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]
10. LOPSTR@CL 2000: London, UK
- John W. Lloyd, Verónica Dahl, Ulrich Furbach, Manfred Kerber, Kung-Kiu Lau, Catuscia Palamidessi, Luís Moniz Pereira, Yehoshua Sagiv, Peter J. Stuckey:
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:
Extended Abstracts of the 10th International Workshop on Logic-based Program Synthesis and Transformation, LOPSTR 2000, London, UK, July 24-28, 2000. Technical Report UMCS-00-6-1, Department of Computer Science, University of Manchester 2000 [contents] - Kung-Kiu Lau:
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:
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]
8. LOPSTR 1998: Manchester, U.K.
- Pierre Flener:
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]
7. LOPSTR 1997: Leuven, Belgium
- Norbert E. Fuchs:
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:
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]
5. LOPSTR 1995: Utrecht, The Netherlands
- Maurizio Proietti:
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]
4. LOPSTR/META 1994: Pisa, Italy
- Laurent Fribourg, Franco Turini:
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:
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 [contents]
2. LOPSTR 1992: Manchester, UK
- Kung-Kiu Lau, Tim Clement:
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 [contents]
1. LOPSTR 1991: Manchester, UK
- Tim Clement, Kung-Kiu Lau:
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 [contents]