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

Conference series Beta

International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z

Events
14 (1995 to 2016)
Academic field
Natural sciences: Computer and information sciences
Identifier
https://id.confref.org/series/s109440

Events (14)

19952016

YearNo.EventPlaceDate
20165International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z
ABZ
Linz2016-05-23/27
20144International 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 2012, ABZ, ZUM
Pisa2012-06-18/21
20102International Conference on Abstract State Machines, Alloy, B and Z
ABZ
Orford2010-02-22/25
20081International Conference on Abstract State Machines, B and Z
ABZ
London2008-09-16/18
20077International Conference of B Users
B
Besançon2007-01-17/19
20054International Conference of B and Z Users
ZB
Guildford2005-04-13/15
200411International Workshop on Abstract State Machines
ASM
Lutherstadt Wittenberg2004-05-24/28
20033International Conference of B and Z Users
ZB
Turku2003-06-04/06
2002International Conference of B and Z Users
B, ZB 2002, ZB
Grenoble2002-01-23/25
20001International Conference of B and Z Users
ZB
York2000-08-29 to 2000-09-02
199811International Conference of Z Users
ZUM
Berlin1998-09-24/26
199710International Conference of Z Users
ZUM
Reading1997-04-03/04
1995International Conference of Z Users
ZUM 1995, ZUM
Limerick1995-09-07/09

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.

SystemValueDateDataset
GII-GRIN-SCIEW2017-04-06ratings-springer-lod
h5-index122017ratings-springer-lod · source
h5-median182017ratings-springer-lod · source
QualisC2017-04-06ratings-springer-lod

Sources

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

Springer LOD (2018)
  • http://lod.springer.com/data/confseries/abz

Cite

International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z. confref identifier s109440. https://id.confref.org/series/s109440

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.