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.

5 results · clear filters Sort: newest oldest name

  1. Formal Techniques for Distributed Systems - Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings (FMOODS, FORTE)
    2013-06-03/05 · Florence, Italy
    Computer and information sciences
    e113t8d
  2. International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS)
    series, 16 events, 1996 to 2013
    Computer and information sciences
    s109pwx
  3. Formal Techniques for Distributed Systems - Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012. Proceedings (FMOODS, FORTE)
    2012-06-13/16 · Stockholm, Sweden
    Computer and information sciences
    e113t7f
  4. Formal Techniques for Distributed Systems - Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011, and 31st IFIP WG 6.1 International Conference, FORTE 2011, Reykjavik, Iceland, June 6-9, 2011. Proceedings (FMOODS, FMOODS/FORTE 2011)
    2011-06-06/09 · Reykjavík, Iceland
    Computer and information sciences
    e10dwde
  5. Formal Techniques for Distributed Systems, Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings (FMOODS, FMOODS/FORTE 2010)
    2010-06-07/09 · Amsterdam
    Computer and information sciences
    e10dwec

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