28 results · clear filters Sort: newest oldest name

1. Logic-Based Program Synthesis and Transformation - 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers (LOPSTR)
   2018-09-04/06 · Frankfurt, Germany
   Computer and information sciences
   e11h03m
2. Logic-Based Program Synthesis and Transformation - 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers (LOPSTR)
   2017-10-10/12 · Namur, Belgium
   Computer and information sciences
   e11h02p
3. International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2016, LOPSTR)
   2016-09-06/08 · Edinburgh, United Kingdom
   Computer and information sciences
   e105yt1
4. International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2015, LOPSTR)
   2015-07-13/15 · Siena, Italy
   Computer and information sciences
   e105ys3
5. International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR)
   2014-09-09/11 · Canterbury, United Kingdom
   Computer and information sciences
   e105yr5
6. International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2013, LOPSTR)
   2013-09-18/19 · Madrid, Spain
   Computer and information sciences
   e105yq7
7. International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR)
   2012-09-18/20 · Leuven, Belgium
   Computer and information sciences
   e105yp9
8. International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2011, LOPSTR)
   2011-07-18/20 · Odense, Denmark
   Computer and information sciences
   e105ynb
9. International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2010, LOPSTR)
   2010-07-23/25 · Hagenberg im Mühlkreis, Austria
   Computer and information sciences
   e105ymd
10. International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR)
    2009-09-09/11 · Coimbra, Portugal
    Computer and information sciences
    e105ykf
11. International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR)
    2008-07-17/18 · Valencia, Spain
    Computer and information sciences
    e105yjh
12. International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR)
    2007-08-23/24 · Kongens Lyngby, Denmark
    Computer and information sciences
    e105yhk
13. International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR)
    2006-07-12/14 · Venice, Italy
    Computer and information sciences
    e105ygn
14. International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2005, LOPSTR)
    2005-09-07/09 · London, United Kingdom
    Computer and information sciences
    e105yfr
15. International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR)
    2004-08-26/28 · Verona, Italy
    Computer and information sciences
    e105yet
16. International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR)
    2003-08-25/27 · Uppsala, Sweden
    Computer and information sciences
    e105ydw
17. International Workshop on Logic-Based Program Synthesis and Transformation (LOPSTR)
    2002-09-17/20 · Madrid, Spain
    Computer and information sciences
    e105ycy
18. International Workshop on Logic-Based Program Synthesis and Transformation (LOPSTR)
    2001-11-28/30 · Paphos, Cyprus
    Computer and information sciences
    e105yb0
19. Extended Abstracts of the 10th International Workshop on Logic-based Program Synthesis and Transformation, LOPSTR 2000, London, UK, July 24-28, 2000. (LOPSTR)
    2000-01-01 · London, United Kingdom
    Computer and information sciences
    e11h00t
20. International Workshop on Logic Programming Synthesis and Transformation (LOPSTR)
    1999-09-22/24 · Venice, Italy
    Computer and information sciences
    e105y94
21. International Workshop on Logic Programming Synthesis and Transformation (LOPSTR)
    1998-06-15/19 · Manchester, United Kingdom
    Computer and information sciences
    e105y86
22. International Workshop on Logic Programming Synthesis and Transformation (LOPSTR)
    1997-07-10/12 · Leuven, Belgium
    Computer and information sciences
    e105y78
23. International Workshop on Logic Programming Synthesis and Transformation (LOPSTR)
    1996-08-28/30 · Stockholm, Sweden
    Computer and information sciences
    e105y6a
24. International Workshop on Logic Programming Synthesis and Transformation (LOPSTR)
    1995-09-20/22 · Utrecht
    Computer and information sciences
    e105y5c
25. Logic Programming Synthesis and Transformation - Meta-Programming in Logic. 4th Internation Workshops, LOPSTR'94 and META'94, Pisa, Italy, June 20-21, 1994, Proceedings (LOPSTR, META)
    1994-06-20/21 · Pisa, Italy
    Computer and information sciences
    e11h0d0

As JSON: https://labs.confref.org/api/search?kind=event&discipline=Q21198&series=s10a7jy