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.

32 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 2026)
    2026-04-11/16 · Turin, Italy
    MathematicsComputer and information sciences
    e11wsef
  3. 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
  4. 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
  5. 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
  6. 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
  7. International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2022)
    2022-04-02/07 · Munich, Germany
    Mathematics
    e12cgjf
  8. 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
  9. 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
  10. 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
  11. 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
  12. 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
  13. 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
  14. 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
  15. 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
  16. 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
  17. International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2009, TACAS)
    2009-03-22/29 · York, United Kingdom
    Computer and information sciences
    e108921
  18. 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
  19. 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
  20. 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
  21. 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
  22. 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
  23. International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2004, TACAS)
    2004-03-29 to 2004-04-02 · Barcelona, Spain
    MathematicsComputer and information sciences
    e1088xb
  24. International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2003, TACAS)
    2003-04-07/11 · Warsaw, Poland
    MathematicsComputer and information sciences
    e1088wd
  25. International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2002, TACAS)
    2002-04-08/12 · Grenoble, France
    MathematicsComputer and information sciences
    e1088vf

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