Conference series Beta

International Conference on Verified Software: Tools, Theories, Experiments

VSTTE

Events: 17 (2005 to 2025)
Academic field: Natural sciences: Computer and information sciences
Disciplines: computer science
Identifier: https://id.confref.org/series/s10ar4a

Events (17)

20052025

Year	No.	Event	Place	Date
2025	17	Verified Software. Theories, Tools and Experiments - 17th International Conference, VSTTE 2025, Menlo Park, CA, USA, October 6, 2025, Revised Selected Papers	Menlo Park
2024	16	Verified Software. Theories, Tools and Experiments - 16th International Conference, VSTTE 2024, Prague, Czech Republic, October 14-15, 2024, Revised Selected Papers	Prague
2023	15	Verified Software. Theories, Tools and Experiments - 15th International Conference, VSTTE 2023, Ames, IA, USA, October 23-24, 2023, Revised Selected Papers	Ames
2022	14	Verified Software. Theories, Tools and Experiments - 14th International Conference, VSTTE 2022, Trento, Italy, October 17-18, 2022, Revised Selected Papers	Trento
2021	13	Software Verification - 13th International Conference, VSTTE 2021, New Haven, CT, USA, October 18-19, 2021, and 14th International Workshop, NSV 2021, Los Angeles, CA, USA, July 18-19, 2021, Revised Selected Papers	Los Angeles
2020	12	Software Verification - 12th International Conference, VSTTE 2020, and 13th International Workshop, NSV 2020, Los Angeles, CA, USA, July 20-21, 2020, Revised Selected Papers	Los Angeles
2019	11	Verified Software. Theories, Tools, and Experiments - 11th International Conference, VSTTE 2019, New York City, NY, USA, July 13-14, 2019, Revised Selected Papers VSTTE 2019	New York City	2019-07-13/14
2018	10	Verified Software. Theories, Tools, and Experiments - 10th International Conference, VSTTE 2018, Oxford, UK, July 18-19, 2018, Revised Selected Papers VSTTE 2018, VSTTE	Oxford	2018-07-18/19
2017	9	Verified Software. Theories, Tools, and Experiments - 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected Papers VSTTE	Heidelberg	2017-07-22/23
2016	8	Working Conference on Verified Software: Theories, Tools, and Experiments VSTTE 2016, VSTTE	Toronto	2016-07-17/18
2015	7	Working Conference on Verified Software: Theories, Tools, and Experiments VSTTE 2015, VSTTE	San Francisco	2015-07-18/19
2014	6	Working Conference on Verified Software: Theories, Tools, and Experiments VSTTE	Vienna	2014-07-17/18
2013	5	Working Conference on Verified Software: Theories, Tools, and Experiments VSTTE 2013, VSTTE	Menlo Park	2013-05-17/19
2012	4	International Conference on Verified Software: Tools, Theories, Experiments VSTTE 2012, VSTTE	Philadelphia	2012-01-28/29
2010	3	International Conference on Verified Software: Theories, Tools, and Experiments VSTTE 2010, VSTTE	Edinburgh	2010-08-16/19
2008	2	Working Conference on Verified Software: Theories, Tools, and Experiments VSTTE 2008, VSTTE	Toronto	2008-10-06/09
2005	1	Working Conference on Verified Software: Theories, Tools, and Experiments VSTTE 2005, VSTTE	Zurich	2005-10-10/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.

System	Value	Date	Dataset
GII-GRIN-SCIE	W	2017-04-06	ratings-springer-lod

Sources

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

Springer LOD (2018)	`http://lod.springer.com/data/confseries/vstte`
confref portal (2020)	`https://id.confref.org/data/confref-portal/series/vstte`
Wikidata	`http://www.wikidata.org/entity/Q105696361`
dblp	`https://dblp.org/streams/conf/vstte`

Cite

International Conference on Verified Software: Tools, Theories, Experiments. confref identifier s10ar4a. https://id.confref.org/series/s10ar4a

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.