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 Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2027)
    2027-04-12/15 · Copenhagen, Denmark
    Mathematics
    e12fhbq
  2. International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS)
    series, 36 events, 1995 to 2027
    MathematicsComputer and information sciences
    s10ans2
  3. International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2026)
    2026-04-11/16 · Turin, Italy
    MathematicsComputer and information sciences
    e11wsef
  4. International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2025)
    2025-05-03/08 · Hamilton, Canada
    MathematicsComputer and information sciences
    e11wsdh
  5. International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2024)
    2024-04-06/11 · Luxembourg, Luxembourg
    MathematicsComputer and information sciences
    e11wsck
  6. International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2023)
    2023-04-22/27 · Paris, France
    MathematicsComputer and information sciences
    e11wsbn
  7. International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2022)
    2022-04-02/07 · Munich, Germany
    MathematicsComputer and information sciences
    e127d7k
  8. International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2022)
    2022-04-02/07 · Munich, Germany
    Mathematics
    e12cgjf
  9. Tools and Algorithms for the Construction and Analysis of Systems - 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings, Part I
    2022 · Munich, Germany
    Computer and information sciences
    e11wsaq
  10. International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2021)
    2021-03-27 to 2021-04-01 · Luxembourg, Luxembourg · online
    MathematicsComputer and information sciences
    e11ws9s
  11. International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2020, TACAS@ETAPS 2020)
    2020-04-15/30 · Dublin, Ireland · online
    MathematicsComputer and information sciences
    e10h6mc

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