Conference series Beta

International SPIN Symposium on Model Checking of Software

SPIN

Events: 36 (1995 to 2025)
Website: https://spinroot.com/spin/symposia/
Academic field: Natural sciences: Computer and information sciences
Disciplines: computer science
Identifier: https://id.confref.org/series/s10ams3

Events (36)

19952025

Year	No.	Event	Place	Date
2025	31	Model Checking Software - 31st International Symposium, SPIN 2025, Hamilton, ON, Canada, May 7-8, 2025, Proceedings	Hamilton
2024	30	Model Checking Software - 30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 8-9, 2024, Proceedings	Luxembourg
2023	29	International SPIN Symposium on Model Checking of Software SPIN 2023	Paris	2023-04-26/27
2022	28	International SPIN Symposium on Model Checking of Software SPIN 2022		2022-05-21
2021	27	International SPIN Symposium on Model Checking of Software SPIN 2021		2021-07-12
2020		International SPIN Symposium on Model Checking of Software SPIN 2020	Chicago	2020-07-24/25
2019	26	26th International SPIN Symposium on Model Checking of Software SPIN 2019, SPIN	Beijing	2019-07-15/16
2018	25	International SPIN Symposium on Model Checking of Software SPIN 2018, SPIN	Málaga	2018-06-20/22
2017	24	International SPIN Symposium on Model Checking of Software SPIN 2017, SPIN	Santa Barbara	2017-07-10/14
2016	23	International SPIN Symposium on Model Checking of Software SPIN 2016, SPIN	Eindhoven	2016-04-07/08
2015	22	International SPIN Symposium on Model Checking of Software SPIN 2015, SPIN	Stellenbosch	2015-08-24/26
2014	21	International SPIN Symposium on Model Checking of Software SPIN 2014, SPIN	San Jose	2014-07-21/23
2013	20	International SPIN Symposium on Model Checking of Software SPIN 2013, SPIN	Stony Brook	2013-07-08/09
2012	19	International SPIN Symposium on Model Checking of Software SPIN 2012, SPIN	Oxford	2012-07-23/24
2011	18	International SPIN Symposium on Model Checking of Software SPIN 2011, SPIN	Snowbird	2011-07-14/15
2010	17	International SPIN Symposium on Model Checking of Software SPIN 2010, SPIN	Kingdom of the Netherlands	2010-09-27/29
2009	16	International SPIN Symposium on Model Checking of Software SPIN 2009, SPIN	Grenoble	2009-06-26/28
2008	15	International SPIN Symposium on Model Checking of Software SPIN 2008, SPIN	Los Angeles	2008-08-10/12
2007	14	International SPIN Symposium on Model Checking of Software SPIN 2007, SPIN	Berlin	2007-07-01/03
2006	13	International SPIN Symposium on Model Checking of Software SPIN 2006, SPIN	Vienna	2006-03-30 to 2006-04-01
2005	12	International SPIN Symposium on Model Checking of Software SPIN 2005, SPIN	San Francisco	2005-08-22/24
2005		Proceedings of the Third Workshop on Model Checking and Artificial Intelligence, MoChArt@CONCUR/SPIN 2005, San Francisco, CA, USA, August 27, 2005	San Francisco
2004	11	International SPIN Symposium on Model Checking of Software SPIN 2004, SPIN	Barcelona	2004-04-01/03
2003	10	International SPIN Symposium on Model Checking of Software SPIN 2003, SPIN	Portland	2003-05-09/10
2002	9	International SPIN Symposium on Model Checking of Software SPIN 2002, SPIN	Grenoble	2002-04-11/13
2001	8	International SPIN Symposium on Model Checking of Software SPIN 2001, SPIN	Toronto	2001-05-19/20
2000	7	International SPIN Symposium on Model Checking of Software SPIN 2000, SPIN	Stanford University	2000-08-30 to 2000-09-01
1999	5	International SPIN Workshop on Model Checking of Software SPIN	Trento	1999-07-05
1998	4	International SPIN Symposium on Model Checking of Software SPIN 1998	Paris	1998-11-02
1998		SPIN Symposium / Workshop SPIN	Paris	1998-01-01
1997	3	International SPIN Symposium on Model Checking of Software SPIN 1997	Kingdom of the Netherlands	1997-04-05
1997		SPIN Symposium / Workshop SPIN	Kingdom of the Netherlands	1997-01-01
1996	2	International SPIN Symposium on Model Checking of Software SPIN 1996	New Brunswick	1996-08-05
1996		SPIN Symposium / Workshop SPIN	New Brunswick	1996-01-01
1995	1	International SPIN Symposium on Model Checking of Software SPIN 1995	Montreal	1995-10-16
1995		SPIN Symposium / Workshop SPIN	Montreal	1995-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	C	2017-04-06	ratings-springer-lod
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/spin`
confref portal (2020)	`https://id.confref.org/data/confref-portal/series/spin`
ConfIDent	`https://id.confref.org/data/confident/34769` · page
Wikidata	`http://www.wikidata.org/entity/Q105701818`
dblp	`https://dblp.org/streams/conf/spin`
GND	`https://d-nb.info/gnd/1091743193`

Cite

International SPIN Symposium on Model Checking of Software. confref identifier s10ams3. https://id.confref.org/series/s10ams3

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.