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.

13 results · clear filters Sort: newest oldest name

  1. International Conference of Tests and Proofs (TAP)
    series, 20 events, 2007 to 2024
    Computer and information sciences
    s10anyr
  2. International Conference of Tests and Proofs (TAP 2019, TAP@FM 2019)
    2019-10-09/11 · Porto, Portugal
    Computer and information sciences
    e10ed85
  3. Tests and Proofs (TAP)
    2019-10-09/11 · Porto, Portugal
    Computer and information sciences
    e12p0fh
  4. International Conference on Tests and Proofs (TAP)
    2019-10-09/11 · Porto, Portugal
    Computer and information sciences
    e12p0ge
  5. International Conference of Tests and Proofs (TAP 2018, TAP)
    2018-06-27/29 · Toulouse, France
    Computer and information sciences
    e10gdtv
  6. International Conference of Tests and Proofs (TAP 2017, TAP)
    2017-07-19/20 · Marburg, Germany
    Computer and information sciences
    e108a9j
  7. International Conference of Tests and Proofs (TAP 2016, TAP)
    2016-07-05/07 · Vienna, Austria
    Computer and information sciences
    e108a8m
  8. International Conference of Tests and Proofs (TAP 2015, TAP)
    2015-07-22/24 · L'Aquila, Italy
    Computer and information sciences
    e108a7p
  9. International Conference of Tests and Proofs (TAP 2014, TAP)
    2014-07-24/25 · York, United Kingdom
    Computer and information sciences
    e108a6r
  10. International Conference of Tests and Proofs (TAP 2013, TAP)
    2013-06-16/20 · Budapest, Hungary
    Computer and information sciences
    e108a5t
  11. International Conference of Tests and Proofs (TAP 2012, TAP)
    2012-05-31 to 2012-06-01 · Prague, Czech Republic
    Computer and information sciences
    e108a4w
  12. International Conference of Tests and Proofs (TAP 2011, TAP)
    2011-06-30 to 2011-07-01 · Zurich, Switzerland
    Computer and information sciences
    e108a3y
  13. International Conference of Tests and Proofs (TAP 2010, TAP)
    2010-07-01/02 · Málaga, Spain
    Computer and information sciences
    e108a20

As JSON: https://labs.confref.org/api/search?series=s10anyr&from=2010&to=2019