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.

35 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
  12. International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2019, TACAS)
    2019-04-08/11 · Prague, Czech Republic
    MathematicsComputer and information sciences
    e10h6na
  13. International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2018, TACAS)
    2018-04-14/20 · Thessaloniki, Greece
    MathematicsComputer and information sciences
    e10eqh8
  14. International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2017, TACAS)
    2017-04-22/29 · Uppsala, Sweden
    MathematicsComputer and information sciences
    e10899k
  15. International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2016, TACAS)
    2016-04-02/08 · Eindhoven
    MathematicsComputer and information sciences
    e10898n
  16. International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2014, TACAS 2015)
    2015-04-11/18 · London, United Kingdom
    MathematicsComputer and information sciences
    e10897q
  17. International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2013, TACAS)
    2013-03-16/24 · Rome, Italy
    MathematicsComputer and information sciences
    e10896s
  18. International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2012, TACAS)
    2012-03-27/30 · Tallinn, Estonia
    MathematicsComputer and information sciences
    e10895v
  19. International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2011, TACAS)
    2011-03-26 to 2011-04-03 · Saarbrücken, Germany
    MathematicsComputer and information sciences
    e10894x
  20. International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2010, TACAS)
    2010-03-20/28 · Paphos, Cyprus
    MathematicsComputer and information sciences
    e10893z
  21. International Conference on Tools and Algorithms for the Construction and Analysis of Systemss 2008 (TACAS 2008)
    2008-03-29 to 2008-04-06 · Budapest, Hungary
    MathematicsComputer and information sciences
    e127d9f
  22. International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2008)
    2008-03-29 to 2008-04-06 · Budapest, Hungary
    Mathematics
    e12cf0n
  23. International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2007, TACAS)
    2007-03-24 to 2007-04-01 · Braga, Portugal
    MathematicsComputer and information sciences
    e108905
  24. International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2006, TACAS)
    2006-03-25 to 2006-04-02 · Vienna, Austria
    MathematicsComputer and information sciences
    e1088z7
  25. International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2005, TACAS)
    2005-04-04/08 · Edinburgh, United Kingdom
    MathematicsComputer and information sciences
    e1088y9

As JSON: https://labs.confref.org/api/search?discipline=Q80993&series=s10ans2