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.

13 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. International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR)
    2009-09-09/11 · Coimbra, Portugal
    Computer and information sciences
    e105ykf
  3. International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR)
    2008-07-17/18 · Valencia, Spain
    Computer and information sciences
    e105yjh
  4. International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR)
    2007-08-23/24 · Kongens Lyngby, Denmark
    Computer and information sciences
    e105yhk
  5. International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR)
    2006-07-12/14 · Venice, Italy
    Computer and information sciences
    e105ygn
  6. International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2005, LOPSTR)
    2005-09-07/09 · London, United Kingdom
    Computer and information sciences
    e105yfr
  7. International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR)
    2004-08-26/28 · Verona, Italy
    Computer and information sciences
    e105yet
  8. International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR)
    2003-08-25/27 · Uppsala, Sweden
    Computer and information sciences
    e105ydw
  9. International Workshop on Logic-Based Program Synthesis and Transformation (LOPSTR)
    2002-09-17/20 · Madrid, Spain
    Computer and information sciences
    e105ycy
  10. International Workshop on Logic-Based Program Synthesis and Transformation (LOPSTR)
    2001-11-28/30 · Paphos, Cyprus
    Computer and information sciences
    e105yb0
  11. International Workshop on Logic-Based Program Synthesis and Transformation (LOPSTR)
    2000-07-24/28 · London, United Kingdom
    Computer and information sciences
    e105ya2
  12. 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
  13. Logic Based Program Synthesis and Transformation, 10th International Workshop, LOPSTR 2000 London, UK, July 24-28, 2000, Selected Papers.
    2000 · United Kingdom
    Computer and information sciences
    e11h01r

As JSON: https://labs.confref.org/api/search?series=s10a7jy&from=2000&to=2009