LOPSTR

International Symposium on Logic-Based Program Synthesis and Transformation

  1. 2023

    LOPSTR 2023

    • 23-24 October
    • Cascais, Portugal
  2. 2022

    LOPSTR 2022

    • 21-23 September
    • Tbilisi, Georgia
  3. 2021

    LOPSTR 2021

    • 7-8 September
    • Tallinn, Estonia
  4. 2020

    LOPSTR 2020

    • 7-9 September
    • Bologna, Italy
  5. 2019

    LOPSTR 2019

    • 8-10 October
    • Porto, Portugal
  6. 2018

    LOPSTR 2018

    • 4-6 September
    • Frankfurt/Main, Germany
  7. 2017

    LOPSTR 2017

    • 10-12 October
    • Namur, Belgium
  8. 2016

    LOPSTR 2016

    • 6-8 September
    • Edinburgh, United Kingdom
  9. 2015

    LOPSTR 2015

    • 13-15 July
    • Siena, Italy
  10. 2014

    LOPSTR 2014

    • 9-11 September
    • Canterbury, United Kingdom
  11. 2013

    LOPSTR 2013

    • 18-19 September
    • Madrid, Spain
  12. 2012

    LOPSTR 2012

    • 18-20 September
    • Leuven, Belgium
  13. 2011

    LOPSTR 2011

    • 18-20 July
    • Odense, Denmark
  14. 2010

    LOPSTR 2010

    • 23-25 July
    • Hagenberg, Austria
  15. 2009

    LOPSTR 2009

    • 9-11 September
    • Coimbra, Portugal
  16. 2008

    LOPSTR 2008

    • 17-18 July
    • Valencia, Spain
  17. 2007

    LOPSTR 2007

    • 23-24 August
    • Kongens Lyngby, Denmark
  18. 2006

    LOPSTR 2006

    • 12-14 July
    • Venice, Italy
  19. 2005

    LOPSTR 2005

    • 7-9 September
    • London, United Kingdom
  20. 2004

    LOPSTR 2004

    • 26-28 August
    • Verona, Italy
  21. 2003

    LOPSTR 2003

    • 25-27 August
    • Uppsala, Sweden
  22. 2002

    LOPSTR 2002

    • 17-20 September
    • Madrid, Spain
  23. 2001

    LOPSTR 2001

    • 28-30 November
    • Paphos, Cyprus
  24. 2000

    LOPSTR 2000

    • 24-28 July
    • London, United Kingdom
  25. 1999

    LOPSTR 1999

    • 22-24 September
    • Venice, Italy
  26. 1998

    LOPSTR 1998

    • 15-19 June
    • Manchester, United Kingdom
  27. 1997

    LOPSTR 1997

    • 10-12 July
    • Leuven, Belgium
  28. 1996

    LOPSTR 1996

    • 28-30 August
    • Stockholm, Sweden
  29. 1995

    LOPSTR 1995

    • 20-22 September
    • Utrecht, The Netherlands
  30. 1994

    LOPSTR 1994

    • 20-21 June
    • Pisa, Italy