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

Search Beta

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

8 results · clear filters Sort: newest oldest name

  1. International School on Formal Methods for the Design of Computer, Communication and Software Systems (SFM)
    2016-06-20/24 · Bertinoro, Italy
    Computer and information sciences
    e107v4d
  2. International School on Formal Methods for the Design of Computer, Communication and Software Systems (SFM)
    series, 14 events, 2003 to 2016
    Computer and information sciences
    s10ajyv
  3. International School on Formal Methods for the Design of Computer, Communication and Software Systems (SFM)
    2015-06-15/19 · Bertinoro, Italy
    Computer and information sciences
    e107v3f
  4. International School on Formal Methods for the Design of Computer, Communication and Software Systems (SFM)
    2014-06-16/20 · Bertinoro, Italy
    Computer and information sciences
    e107v2h
  5. International School on Formal Methods for the Design of Computer, Communication and Software Systems (SFM)
    2013-06-17/22 · Bertinoro, Italy
    Computer and information sciences
    e107v1k
  6. International School on Formal Methods for the Design of Computer, Communication and Software Systems (SFM)
    2012-06-18/23 · Bertinoro, Italy
    Computer and information sciences
    e107v0n
  7. International School on Formal Methods for the Design of Computer, Communication and Software Systems (SFM)
    2011-06-13/18 · Bertinoro, Italy
    Computer and information sciences
    e107tzq
  8. International School on Formal Methods for the Design of Computer, Communication and Software Systems (SFM)
    2010-06-21/26 · Bertinoro, Italy
    Computer and information sciences
    e107tys

As JSON: https://labs.confref.org/api/search?series=s10ajyv&from=2010&to=2019