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

Conference series Beta

International Workshops on Abstract State Machines (ASM)

ASM
Events
31 (1993 to 2018)
Academic field
Natural sciences: Computer and information sciences
Disciplines
computer science
Identifier
https://id.confref.org/series/s10d7jr

Events (31)

19932018

YearNo.EventPlaceDate
2018International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z
ABZ
Southampton2018-06-05/08
2016International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z
ABZ
Linz2016-05-23/27
2014International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z
ABZ
Toulouse2014-06-02/06
2012International Conference on Abstract State Machines, Alloy, B, VDM, and Z
ABZ
Pisa2012-06-18/21
2010International Conference on Abstract State Machines, Alloy, B and Z
ABZ
Orford2010-02-22/25
2008International Conference on Abstract State Machines, B and Z
ABZ
London2008-09-16/18
2007International Conference of B Users
B
Besançon2007-01-17/19
2005International Conference of B and Z Users
ZB
Guildford2005-04-13/15
200512Proceedings of the 12th International Workshop on Abstract State Machines, ASM 2005, March 8-11, 2005, Paris, France
ASM
Paris2005-03-08/11
2004Abstract State Machines
ASM
Lutherstadt Wittenberg2004-05-24/28
2004International Workshop on Abstract State Machines
ASM
Lutherstadt Wittenberg2004-05-24/28
200411Abstract State Machines 2004. Advances in Theory and Practice, 11th International Workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, 2004. Proceedings
Lutherstadt Wittenberg
2003Abstract State Machines
ASM
Taormina2003-03-03/07
2003International Workshop on Abstract State Machines
ASM
Taormina2003-03-03/07
200310Abstract State Machines, Advances in Theory and Practice, 10th International Workshop, ASM 2003, Taormina, Italy, March 3-7, 2003, Proceedings
Taormina
2002International Conference of B and Z Users
ZB
Grenoble2002-01-23/25
2002Abstract State Machines
ASM
Schloss Dagstuhl – Leibniz Center for Informatics2002-01-01
2001Abstract State Machines
ASM
Las Palmas de Gran Canaria2001-01-01
2000International Conference of B and Z Users
ZB
York2000-08-29 to 2000-09-02
2000Abstract State Machines, Theory and Applications, International Workshop, ASM 2000, Monte Verità, Switzerland, March 19-24, 2000, Proceedings
ASM
Monte Verità2000-03-19/24
1999Abstract State Machines
ASM
Toulouse1999-01-01
1998International Conference of B Users
B
Montpellier1998-04-22/24
1998Abstract State Machines
ASM
Cannes1998-01-01
1998Fifth International Workshop on Abstract State Machines, ASM 1998, Magdeburg, Germany, September 21-22, Proceedings
Magdeburg
1997International Conference of Z Users
ZUM
Reading1997-04-03/04
1997Abstract State Machines
ASM
Cannes1997-01-01
1996Abstract State Machines
ASM
Germany1996-01-01
1995International Conference of Z Users
ZUM
Limerick1995-09-07/09
1994Abstract State Machines
ASM
Hamburg1994-01-01
1993Abstract State Machines
ASM
Lipari1993-01-01
1993Specification and validation methods

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

Sources

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

confref portal (2020)
Wikidata
dblp
GND

Cite

International Workshops on Abstract State Machines (ASM). confref identifier s10d7jr. https://id.confref.org/series/s10d7jr

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.