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.

14 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)
    2015-06-15/19 · Bertinoro, Italy
    Computer and information sciences
    e107v3f
  3. 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
  4. 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
  5. 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
  6. 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
  7. 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
  8. 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
  9. 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
  10. 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
  11. 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
  12. 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
  13. 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
  14. 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?discipline=Q21198&series=s10ajyv&country=IT