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.

11 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 - 29th International Symposium, LOPSTR 2019, Porto, Portugal, October 8-10, 2019, Revised Selected Papers (LOPSTR 2019)
    2019-10-08/10 · Porto, Portugal
    Computer and information sciences
    e10etnx
  3. 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
  4. 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
  5. International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2016, LOPSTR)
    2016-09-06/08 · Edinburgh, United Kingdom
    Computer and information sciences
    e105yt1
  6. International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2015, LOPSTR)
    2015-07-13/15 · Siena, Italy
    Computer and information sciences
    e105ys3
  7. International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR)
    2014-09-09/11 · Canterbury, United Kingdom
    Computer and information sciences
    e105yr5
  8. International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2013, LOPSTR)
    2013-09-18/19 · Madrid, Spain
    Computer and information sciences
    e105yq7
  9. International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR)
    2012-09-18/20 · Leuven, Belgium
    Computer and information sciences
    e105yp9
  10. International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2011, LOPSTR)
    2011-07-18/20 · Odense, Denmark
    Computer and information sciences
    e105ynb
  11. 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

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