Event Beta

International Conference on Tools and Algorithms for the Construction and Analysis of Systems

Name: International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Start: 2015-04-11
End: 2015-04-18
Location: London

TACAS 2014TACAS 2015TACAS

Date: 2015-04-11/18
Place: London, United Kingdom on the map
Series: International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Edition: 21
Attendance: on site
Status: as scheduled
Website: https://etaps.org/2015/cc
Academic field: Natural sciences: Mathematics, Computer and information sciences
Disciplines: computer science, software engineering
Identifier: https://id.confref.org/event/e10897q

Proceedings

Title	DOI	Year	Record
Tools and Algorithms for the Construction and Analysis of Systems LNCS 8413	10.1007/978-3-642-54862-8	2014	Springer
Tools and Algorithms for the Construction and Analysis of Systems - 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014. Proceedings Lecture Notes in Computer Science 8413	10.1007/978-3-642-54862-8	2014	dblp
Tools and Algorithms for the Construction and Analysis of Systems LNCS 9035	10.1007/978-3-662-46681-0	2015	Springer
Tools and Algorithms for the Construction and Analysis of Systems - 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015. Proceedings Lecture Notes in Computer Science 9035	10.1007/978-3-662-46681-0	2015	dblp

Where the sources disagree

edition number: confident: 21; confident: 20; springer-lod: 20; springer-lod: 21; dblp: 20; dblp: 21
place: confident: Q84; confident: Q1289; springer-lod: Q1289; springer-lod: Q84; dblp: Q1289; dblp: Q84; wikidata: Q1289; wikidata: Q84; confref-portal: Q1289; confref-portal: Q84; gnd: Q1289; gnd: Q84
start date: confident: 2015-04-11; confident: 2014-04-05; springer-lod: 2014-04-05; springer-lod: 2015-04-11; wikidata: 2014-04-05; wikidata: 2015-04-11; confref-portal: 2014-04-05; confref-portal: 2015-04-11
year: confident: 2015; confident: 2014; springer-lod: 2014; springer-lod: 2015; dblp: 2014; dblp: 2015; wikidata: 2014; wikidata: 2015; confref-portal: 2014; confref-portal: 2015

The facts above are taken from the source first in precedence (ConfIDent, Springer, dblp, Wikidata, the portal, the GND).

Sources

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

Springer LOD (2018)	`http://lod.springer.com/data/conference/tacas2014` `http://lod.springer.com/data/conference/tacas2015`
confref portal (2020)	`https://id.confref.org/data/confref-portal/event/tacas2014` · page `https://id.confref.org/data/confref-portal/event/tacas2015` · page
ConfIDent	`https://id.confref.org/data/confident/21514` · page `https://id.confref.org/data/confident/21515` · page
Wikidata	`http://www.wikidata.org/entity/Q106245013` `http://www.wikidata.org/entity/Q106426953`
dblp	`https://dblp.org/db/conf/tacas/tacas2014` `https://dblp.org/db/conf/tacas/tacas2015`
GND	`https://d-nb.info/gnd/1048714985` `https://d-nb.info/gnd/1069960675`

Cite

International Conference on Tools and Algorithms for the Construction and Analysis of Systems. confref identifier e10897q. https://id.confref.org/event/e10897q

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.