Betaconfref labs: services in development; they can change or be unavailable. The project site is www.confref.org.

Conference series Beta

International Conference of Tests and Proofs

TAP
Events
20 (2007 to 2024)
Academic field
Natural sciences: Computer and information sciences
Disciplines
computer science
Identifier
https://id.confref.org/series/s10anyr

Events (20)

20072024

YearNo.EventPlaceDate
202418Tests and Proofs - 18th International Conference, TAP 2024, Milan, Italy, September 9-10, 2024, Proceedings
Milan
202317Tests and Proofs - 17th International Conference, TAP 2023, Leicester, UK, July 18-19, 2023, Proceedings
Leicester
202216International Conference of Tests and Proofs
TAP 2022
Nantes2022-07-05
202115International Conference of Tests and Proofs
TAP 2021
2021-06-21/22
202014International Conference of Tests and Proofs
TAP 2020
Bergen2020-06-22/23
201913International Conference of Tests and Proofs
TAP 2019, TAP@FM 2019
Porto2019-10-09/11
2019International Conference on Tests and Proofs
TAP
Porto2019-10-09/11
2019Tests and Proofs
TAP
Porto2019-10-09/11
201812International Conference of Tests and Proofs
TAP 2018, TAP, TAP@STAF 2018
Toulouse2018-06-27/29
201711International Conference of Tests and Proofs
TAP 2017, TAP, TAP@STAF 2017
Marburg2017-07-19/20
201610International Conference of Tests and Proofs
TAP 2016, TAP, TAP@STAF 2016
Vienna2016-07-05/07
20159International Conference of Tests and Proofs
TAP 2015, TAP, TAP@STAF 2015
L'Aquila2015-07-22/24
20148International Conference of Tests and Proofs
TAP 2014, TAP, TAP@STAF 2014
York2014-07-24/25
20137International Conference of Tests and Proofs
TAP 2013, TAP, TAP@STAF 2013
Budapest2013-06-16/20
20126International Conference of Tests and Proofs
TAP 2012, TAP
Prague2012-05-31 to 2012-06-01
20115International Conference of Tests and Proofs
TAP 2011, TAP, TAP@TOOLS 2011
Zurich2011-06-30 to 2011-07-01
20104International Conference of Tests and Proofs
TAP 2010, TAP, TAP@TOOLS 2010
Málaga2010-07-01/02
20093International Conference of Tests and Proofs
TAP 2009, TAP, TAP@TOOLS 2009
Zurich2009-07-02/03
20082International Conference of Tests and Proofs
TAP 2008, TAP
Prato2008-04-09/11
20071International Conference of Tests and Proofs
TAP 2007, TAP
Zurich2007-02-12/13

The events on the map · in the search · calendar of coming events

Ratings

As the rating systems gave them at the date shown; a rating dataset keeps them as its source published them.

Sources

The records of the sources that this identifier brings together (cr:sameAs).

Springer LOD (2018)
  • http://lod.springer.com/data/confseries/tap
confref portal (2020)
ConfIDent
Wikidata
dblp

Cite

International Conference of Tests and Proofs. confref identifier s10anyr. https://id.confref.org/series/s10anyr

Data: Turtle · JSON-LD · N-Triples · RDF/XML

APIs · SPARQL · About the identifiers

Beta confref labs is under development. Identifiers are stable; pages, data and services can change.