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.

38 results · clear filters Sort: newest oldest name

  1. Logic-Based Program Synthesis and Transformation - 35th International Symposium, LOPSTR 2025, Rende, Italy, September 9-10, 2025, Proceedings
    2025 · Rende, Italy
    Computer and information sciences
    e11h098
  2. International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR)
    series, 37 events, 1991 to 2025
    Computer and information sciences
    s10a7jy
  3. Logic-Based Program Synthesis and Transformation - 34th International Symposium, LOPSTR 2024, Milan, Italy, September 9-10, 2024, Proceedings
    2024 · Milan, Italy
    Computer and information sciences
    e11h08a
  4. Logic-Based Program Synthesis and Transformation - 33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedings
    2023 · Cascais, Portugal
    Computer and information sciences
    e11h07c
  5. Logic-Based Program Synthesis and Transformation - 32nd International Symposium, LOPSTR 2022, Tbilisi, Georgia, September 21-23, 2022, Proceedings
    2022 · Tbilisi, Georgia
    Computer and information sciences
    e11h06e
  6. Logic-Based Program Synthesis and Transformation - 31st International Symposium, LOPSTR 2021, Tallinn, Estonia, September 7-8, 2021, Proceedings
    2021 · Tallinn, Estonia
    Computer and information sciences
    e11h05g
  7. Logic-Based Program Synthesis and Transformation - 30th International Symposium, LOPSTR 2020, Bologna, Italy, September 7-9, 2020, Proceedings
    2020 · Bologna, Italy
    Computer and information sciences
    e11h04j
  8. 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
  9. 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
  10. 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
  11. International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2016, LOPSTR)
    2016-09-06/08 · Edinburgh, United Kingdom
    Computer and information sciences
    e105yt1
  12. International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2015, LOPSTR)
    2015-07-13/15 · Siena, Italy
    Computer and information sciences
    e105ys3
  13. International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR)
    2014-09-09/11 · Canterbury, United Kingdom
    Computer and information sciences
    e105yr5
  14. International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2013, LOPSTR)
    2013-09-18/19 · Madrid, Spain
    Computer and information sciences
    e105yq7
  15. International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR)
    2012-09-18/20 · Leuven, Belgium
    Computer and information sciences
    e105yp9
  16. International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2011, LOPSTR)
    2011-07-18/20 · Odense, Denmark
    Computer and information sciences
    e105ynb
  17. 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
  18. International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR)
    2009-09-09/11 · Coimbra, Portugal
    Computer and information sciences
    e105ykf
  19. International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR)
    2008-07-17/18 · Valencia, Spain
    Computer and information sciences
    e105yjh
  20. International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR)
    2007-08-23/24 · Kongens Lyngby, Denmark
    Computer and information sciences
    e105yhk
  21. International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR)
    2006-07-12/14 · Venice, Italy
    Computer and information sciences
    e105ygn
  22. International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2005, LOPSTR)
    2005-09-07/09 · London, United Kingdom
    Computer and information sciences
    e105yfr
  23. International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR)
    2004-08-26/28 · Verona, Italy
    Computer and information sciences
    e105yet
  24. International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR)
    2003-08-25/27 · Uppsala, Sweden
    Computer and information sciences
    e105ydw
  25. International Workshop on Logic-Based Program Synthesis and Transformation (LOPSTR)
    2002-09-17/20 · Madrid, Spain
    Computer and information sciences
    e105ycy

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