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.

11 results · clear filters Sort: newest oldest name

  1. IFIP International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE)
    series, 40 events, 1988 to 2026
    MathematicsComputer and information sciences
    s109q69
  2. 39th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE 2019, FORTE)
    2019-06-17/21 · Lundtofte Station, Denmark
    MathematicsComputer and information sciences
    e113ta9
  3. 38th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE 2018, FORTE)
    2018-06-18/21 · Madrid, Spain
    MathematicsComputer and information sciences
    e113t9b
  4. International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE)
    2017-06-19/22 · Neuchâtel, Switzerland
    Computer and information sciences
    e103e8t
  5. International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE)
    2016-06-06/09 · Heraklion, Greece
    Computer and information sciences
    e103e7w
  6. International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE)
    2015-06-02/05 · Grenoble, France
    Computer and information sciences
    e103e6y
  7. International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE)
    2014-06-03/05 · Berlin, Germany
    Computer and information sciences
    e103e50
  8. 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
  9. 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
  10. 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
  11. 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=s109q69&from=2010&to=2019