Conference series Beta

International Workshop on Verification, Model Checking, and Abstract Interpretation

VMCAI

Events: 27 (1997 to 2026)
Academic field: Natural sciences: Computer and information sciences
Disciplines: computer science
Identifier: https://id.confref.org/series/s10ar0j

Events (27)

19972026

Year	No.	Event	Place	Date
2026	27	Verification, Model Checking, and Abstract Interpretation - 27th International Conference, VMCAI 2026, Rennes, France, January 12-13, 2026, Proceedings	Rennes
2025	26	Verification, Model Checking, and Abstract Interpretation - 26th International Conference, VMCAI 2025, Denver, CO, USA, January 20-21, 2025, Proceedings, Part I	Denver
2024	25	Verification, Model Checking, and Abstract Interpretation - 25th International Conference, VMCAI 2024, London, United Kingdom, January 15-16, 2024, Proceedings, Part I	London
2023	24	Verification, Model Checking, and Abstract Interpretation - 24th International Conference, VMCAI 2023, Boston, MA, USA, January 16-17, 2023, Proceedings	Boston
2022	23	Verification, Model Checking, and Abstract Interpretation - 23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16-18, 2022, Proceedings	Philadelphia
2021	22	Verification, Model Checking, and Abstract Interpretation - 22nd International Conference, VMCAI 2021, Copenhagen, Denmark, January 17-19, 2021, Proceedings	Copenhagen
2020	21	Verification, Model Checking, and Abstract Interpretation - 21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16-21, 2020, Proceedings VMCAI 2020	New Orleans	2020-01-16/21
2019	20	Verification, Model Checking, and Abstract Interpretation - 20th International Conference, VMCAI 2019, Cascais, Portugal, January 13-15, 2019, Proceedings VMCAI	Cascais	2019-01-13/15
2018	19	Verification, Model Checking, and Abstract Interpretation - 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings VMCAI	Los Angeles	2018-01-07/09
2017	18	International Conference on Verification, Model Checking, and Abstract Interpretation VMCAI 2017, VMCAI	Paris	2017-01-15/17
2016	17	International Conference on Verification, Model Checking, and Abstract Interpretation VMCAI 2016, VMCAI	St. Petersburg	2016-01-17/19
2015	16	International Workshop on Verification, Model Checking, and Abstract Interpretation VMCAI 2015, VMCAI	Mumbai	2015-01-12/14
2014	15	International Conference on Verification, Model Checking, and Abstract Interpretation VMCAI 2014, VMCAI	San Diego	2014-01-19/21
2013	14	International Workshop on Verification, Model Checking, and Abstract Interpretation VMCAI	Rome	2013-01-20/22
2012	13	International Workshop on Verification, Model Checking, and Abstract Interpretation VMCAI 2012, VMCAI	Philadelphia	2012-01-22/24
2011	12	International Workshop on Verification, Model Checking, and Abstract Interpretation VMCAI	Austin	2011-01-23/25
2010	11	International Workshop on Verification, Model Checking, and Abstract Interpretation VMCAI 2010, VMCAI	Madrid	2010-01-17/19
2009	10	International Workshop on Verification, Model Checking, and Abstract Interpretation VMCAI	Savannah	2009-01-18/20
2008	9	International Workshop on Verification, Model Checking, and Abstract Interpretation VMCAI 2008, VMCAI	San Francisco	2008-01-07/09
2007	8	International Workshop on Verification, Model Checking, and Abstract Interpretation VMCAI 2007, VMCAI	Nice	2007-01-14/16
2006	7	International Workshop on Verification, Model Checking, and Abstract Interpretation VMCAI 2006, VMCAI	Charleston	2006-01-08/10
2005	6	International Workshop on Verification, Model Checking, and Abstract Interpretation VMCAI 2005, VMCAI	Paris	2005-01-17/19
2004	5	International Workshop on Verification, Model Checking, and Abstract Interpretation VMCAI	Venice	2004-01-11/13
2003	4	International Workshop on Verification, Model Checking, and Abstract Interpretation VMCAI	New York City	2003-01-09/11
2002	3	International Workshop on Verification, Model Checking, and Abstract Interpretation VMCAI	Venice	2002-01-21/22
1998		Verification, Model Checking and Abstract Interpretation (VMCAI) VMCAI	Pisa	1998-01-01
1997		Verification, Model Checking and Abstract Interpretation (VMCAI) VMCAI	Port Jefferson	1997-01-01

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
CCF	B	2017-04-06	ratings-springer-lod
CORE	B	2017-04-06	ratings-springer-lod
GII-GRIN-SCIE	B	2017-04-06	ratings-springer-lod
h5-index	23	2017	ratings-springer-lod · source
h5-median	33	2017	ratings-springer-lod · source
Qualis	A	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/vmcai`
confref portal (2020)	`https://id.confref.org/data/confref-portal/series/vmcai`
Wikidata	`http://www.wikidata.org/entity/Q105693141`
dblp	`https://dblp.org/streams/conf/vmcai`

Cite

International Workshop on Verification, Model Checking, and Abstract Interpretation. confref identifier s10ar0j. https://id.confref.org/series/s10ar0j

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.