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.

7 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

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