LOPSTR

International Symposium on Logic-Based Program Synthesis and Transformation

  1. 2017

    LOPSTR 2017

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

    LOPSTR 2016

    • 6-8 September
    • Edinburgh, United Kingdom
  3. 2014

    LOPSTR 2014

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

    LOPSTR 2013

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

    LOPSTR 2012

    • 18-20 September
    • Leuven, Belgium
  6. 2010

    LOPSTR 2010

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

    LOPSTR 2009

    • 9-11 September
    • Coimbra, Portugal
  8. 2007

    LOPSTR 2007

    • 23-24 August
    • Kongens Lyngby, Denmark
  9. 2005

    LOPSTR 2005

    • 7-9 September
    • London, United Kingdom
  10. 2003

    LOPSTR 2003

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

    LOPSTR 2002

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

    LOPSTR 2001

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

    LOPSTR 2000

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

    LOPSTR 1999

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

    LOPSTR 1998

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

    LOPSTR 1997

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

    LOPSTR 1996

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

    LOPSTR 1995

    • 20-22 September
    • Utrecht, The Netherlands