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)
    series, 14 events, 2003 to 2016
    Computer and information sciences
    s10ajyv
  2. International School on Formal Methods for the Design of Computer, Communication and Software Systems (SFM)
    2009-06-01/06 · Bertinoro, Italy
    Computer and information sciences
    e107txv
  3. International School on Formal Methods for the Design of Computer, Communication and Software Systems (SFM)
    2008-06-02/07 · Bertinoro, Italy
    Computer and information sciences
    e107twx
  4. International School on Formal Methods for the Design of Computer, Communication and Software Systems (SFM 2007, SFM)
    2007-05-28 to 2007-06-02 · Bertinoro, Italy
    Computer and information sciences
    e107tvz
  5. International School on Formal Methods for the Design of Computer, Communication and Software Systems (SFM)
    2006-05-22/27 · Bertinoro, Italy
    Computer and information sciences
    e107tt1
  6. Formal Methods for Mobile Computing, 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures (SFM)
    2005-04-26/30 · Bertinoro, Italy
    Computer and information sciences
    e11sf8b
  7. Formal Methods for the Design of Real-Time Systems, International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM-RT 2004, Bertinoro, Italy, September 13-18, 2004, Revised Lectures (SFM)
    2004-09-13/18 · Bertinoro, Italy
    Computer and information sciences
    e11sf7d
  8. International School on Formal Methods for the Design of Computer, Communication and Software Systems (SFM)
    2003-09-22/27 · Bertinoro, Italy
    Computer and information sciences
    e107ts3

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