LOPSTR

International Symposium on Logic-Based Program Synthesis and Transformation

Search within this conference

Search

1. 2024

   LOPSTR 2024

   • 9-10 September
   • Milan, Italy

   • Logic-Based Program Synthesis and Transformation

     13 Papers

     1 Volume

2. 2023

   LOPSTR 2023

   • 23-24 October
   • Cascais, Portugal

   • Logic-Based Program Synthesis and Transformation

     13 Papers

     1 Volume

3. 2022

   LOPSTR 2022

   • 21-23 September
   • Tbilisi, Georgia

   • Logic-Based Program Synthesis and Transformation

     8 Papers

     1 Volume

4. 2021

   LOPSTR 2021

   • 7-8 September
   • Tallinn, Estonia

   • Logic-Based Program Synthesis and Transformation

     9 Papers

     1 Volume

5. 2020

   LOPSTR 2020

   • 7-9 September
   • Bologna, Italy

   • Logic-Based Program Synthesis and Transformation

     17 Papers

     1 Volume

6. 2019

   LOPSTR 2019

   • 8-10 October
   • Porto, Portugal

   • Logic-Based Program Synthesis and Transformation

     15 Papers

     1 Volume

7. 2018

   LOPSTR 2018

   • 4-6 September
   • Frankfurt/Main, Germany

   • Logic-Based Program Synthesis and Transformation

     11 Papers

     1 Volume

8. 2017

   LOPSTR 2017

   • 10-12 October
   • Namur, Belgium

   • Logic-Based Program Synthesis and Transformation

     19 Papers

     1 Volume

9. 2016

   LOPSTR 2016

   • 6-8 September
   • Edinburgh, United Kingdom

   • Logic-Based Program Synthesis and Transformation

     20 Papers

     1 Volume

10. 2015

    LOPSTR 2015

    • 13-15 July
    • Siena, Italy

    • Logic-Based Program Synthesis and Transformation

      22 Papers

      1 Volume

11. 2014

    LOPSTR 2014

    • 9-11 September
    • Canterbury, United Kingdom

    • Logic-Based Program Synthesis and Transformation

      18 Papers

      1 Volume

12. 2013

    LOPSTR 2013

    • 18-19 September
    • Madrid, Spain

    • Logic-Based Program Synthesis and Transformation

      13 Papers

      1 Volume

13. 2012

    LOPSTR 2012

    • 18-20 September
    • Leuven, Belgium

    • Logic-Based Program Synthesis and Transformation

      15 Papers

      1 Volume

14. 2011

    LOPSTR 2011

    • 18-20 July
    • Odense, Denmark

    • Logic-Based Program Synthesis and Transformation

      16 Papers

      1 Volume

15. 2010

    LOPSTR 2010

    • 23-25 July
    • Hagenberg, Austria

    • Logic-Based Program Synthesis and Transformation

      15 Papers

      1 Volume

16. 2009

    LOPSTR 2009

    • 9-11 September
    • Coimbra, Portugal

    • Logic-Based Program Synthesis and Transformation

      14 Papers

      1 Volume

17. 2008

    LOPSTR 2008

    • 17-18 July
    • Valencia, Spain

    • Logic-Based Program Synthesis and Transformation

      12 Papers

      1 Volume

18. 2007

    LOPSTR 2007

    • 23-24 August
    • Kongens Lyngby, Denmark

    • Logic-Based Program Synthesis and Transformation

      14 Papers

      1 Volume

19. 2006

    LOPSTR 2006

    • 12-14 July
    • Venice, Italy

    • Logic-Based Program Synthesis and Transformation

      16 Papers

      1 Volume

20. 2005

    LOPSTR 2005

    • 7-9 September
    • London, United Kingdom

    • Logic Based Program Synthesis and Transformation

      11 Papers

      1 Volume

21. 2004

    LOPSTR 2004

    • 26-28 August
    • Verona, Italy

    • Logic Based Program Synthesis and Transformation

      17 Papers

      1 Volume

22. 2003

    LOPSTR 2003

    • 25-27 August
    • Uppsala, Sweden

    • Logic Based Program Synthesis and Transformation

      18 Papers

      1 Volume

23. 2002

    LOPSTR 2002

    • 17-20 September
    • Madrid, Spain

    • Logic Based Program Synthesis and Transformation

      22 Papers

      1 Volume

24. 2001

    LOPSTR 2001

    • 28-30 November
    • Paphos, Cyprus

    • Logic Based Program Synthesis and Transformation

      14 Papers

      1 Volume

25. 2000

    LOPSTR 2000

    • 24-28 July
    • London, United Kingdom

    • Logic Based Program Synthesis and Transformation

      10 Papers

      1 Volume

26. 1999

    LOPSTR 1999

    • 22-24 September
    • Venice, Italy

    • Logic-Based Program Synthesis and Transformation

      17 Papers

      1 Volume

27. 1998

    LOPSTR 1998

    • 15-19 June
    • Manchester, United Kingdom

    • Logic-Based Program Synthesis and Transformation

      24 Papers

      1 Volume

28. 1997

    LOPSTR 1997

    • 10-12 July
    • Leuven, Belgium

    • Logic Program Synthesis and Transformation

      17 Papers

      1 Volume

29. 1996

    LOPSTR 1996

    • 28-30 August
    • Stockholm, Sweden

    • Logic Program Synthesis and Transformation

      18 Papers

      1 Volume

30. 1995

    LOPSTR 1995

    • 20-22 September
    • Utrecht, The Netherlands

    • Logic Program Synthesis and Transformation

      19 Papers

      1 Volume

31. 1994

    LOPSTR 1994

    • 20-21 June
    • Pisa, Italy

    • Logic Program Synthesis and Transformation — Meta-Programming in Logic

      27 Papers

      1 Volume