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

Search Beta

Series and events of the confref identifiers. Look up an identifier (dblp key, Wikidata, GND, DOI of the proceedings) through the API.

4 results · clear filters Sort: newest oldest name

  1. International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z
    series, 14 events, 1995 to 2016
    Computer and information sciences
    s109440
  2. International Conference of Z Users (ZUM)
    1998-09-24/26 · Berlin, Germany
    Computer and information sciences
    e10020w
  3. International Conference of Z Users (ZUM)
    1997-04-03/04 · Reading, United Kingdom
    Computer and information sciences
    e1001zy
  4. International Conference of Z Users (ZUM 1995, ZUM)
    1995-09-07/09 · Limerick, Ireland
    Computer and information sciences
    e1001y0

As JSON: https://labs.confref.org/api/search?series=s109440&from=1990&to=1999