Betaconfref labs: services in development; they can change or be unavailable. The project site is www.confref.org.
confreflabs
Menu

Search Beta

Series and events of the confref identifiers. Look up an identifier (dblp key, Wikidata, GND, DOI of the proceedings) through the API.

29 results · clear filters Sort: newest oldest name

  1. International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR)
    series, 37 events, 1991 to 2025
    Computer and information sciences
    s10a7jy
  2. 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
  3. 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
  4. International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2016, LOPSTR)
    2016-09-06/08 · Edinburgh, United Kingdom
    Computer and information sciences
    e105yt1
  5. International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2015, LOPSTR)
    2015-07-13/15 · Siena, Italy
    Computer and information sciences
    e105ys3
  6. International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR)
    2014-09-09/11 · Canterbury, United Kingdom
    Computer and information sciences
    e105yr5
  7. International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2013, LOPSTR)
    2013-09-18/19 · Madrid, Spain
    Computer and information sciences
    e105yq7
  8. International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR)
    2012-09-18/20 · Leuven, Belgium
    Computer and information sciences
    e105yp9
  9. International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2011, LOPSTR)
    2011-07-18/20 · Odense, Denmark
    Computer and information sciences
    e105ynb
  10. 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
  11. International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR)
    2009-09-09/11 · Coimbra, Portugal
    Computer and information sciences
    e105ykf
  12. International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR)
    2008-07-17/18 · Valencia, Spain
    Computer and information sciences
    e105yjh
  13. International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR)
    2007-08-23/24 · Kongens Lyngby, Denmark
    Computer and information sciences
    e105yhk
  14. International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR)
    2006-07-12/14 · Venice, Italy
    Computer and information sciences
    e105ygn
  15. International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2005, LOPSTR)
    2005-09-07/09 · London, United Kingdom
    Computer and information sciences
    e105yfr
  16. International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR)
    2004-08-26/28 · Verona, Italy
    Computer and information sciences
    e105yet
  17. International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR)
    2003-08-25/27 · Uppsala, Sweden
    Computer and information sciences
    e105ydw
  18. International Workshop on Logic-Based Program Synthesis and Transformation (LOPSTR)
    2002-09-17/20 · Madrid, Spain
    Computer and information sciences
    e105ycy
  19. International Workshop on Logic-Based Program Synthesis and Transformation (LOPSTR)
    2001-11-28/30 · Paphos, Cyprus
    Computer and information sciences
    e105yb0
  20. 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
  21. International Workshop on Logic Programming Synthesis and Transformation (LOPSTR)
    1999-09-22/24 · Venice, Italy
    Computer and information sciences
    e105y94
  22. International Workshop on Logic Programming Synthesis and Transformation (LOPSTR)
    1998-06-15/19 · Manchester, United Kingdom
    Computer and information sciences
    e105y86
  23. International Workshop on Logic Programming Synthesis and Transformation (LOPSTR)
    1997-07-10/12 · Leuven, Belgium
    Computer and information sciences
    e105y78
  24. International Workshop on Logic Programming Synthesis and Transformation (LOPSTR)
    1996-08-28/30 · Stockholm, Sweden
    Computer and information sciences
    e105y6a
  25. International Workshop on Logic Programming Synthesis and Transformation (LOPSTR)
    1995-09-20/22 · Utrecht
    Computer and information sciences
    e105y5c

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