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.

33 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
  12. Formal Techniques for Distributed Systems, Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 2009. Proceedings (FORTE)
    2009-06-09/12 · Lisbon, Portugal
    Computer and information sciences
    e113t6h
  13. 28th IFIP WG6.1 International Conference on Formal Techniques for Networked and Distributed Systems (FORTE 2008, FORTE)
    2008-06-10/13 · Tokyo, Japan
    MathematicsComputer and information sciences
    e103e42
  14. International Conference on Formal Techniques for Networked and Distributed Systems (FORTE)
    2007-06-27/29 · Tallinn, Estonia
    Computer and information sciences
    e103e34
  15. International Conference on Formal Techniques for Networked and Distributed Systems (FORTE)
    2006-09-26/29 · Paris, France
    Computer and information sciences
    e103e26
  16. International Conference on Formal Techniques for Networked and Distributed Systems (FORTE)
    2005-10-02/05 · Taipei, Taiwan
    Computer and information sciences
    e103e18
  17. International Conference on Formal Techniques for Networked and Distributed Systems (FORTE)
    2004-09-27 to 2004-10-02 · Madrid, Spain
    Computer and information sciences
    e103e0a
  18. International Conference on Formal Techniques for Networked and Distributed Systems (FORTE)
    2003-09-29 to 2003-10-02 · Berlin, Germany
    Computer and information sciences
    e103dzc
  19. International Conference on Formal Techniques for Networked and Distributed Systems (FORTE)
    2002-11-11/14 · Houston, United States
    Computer and information sciences
    e103dye
  20. International Conference on Formal Techniques for Networked and Distributed Systems (FORTE)
    2001-08-28/31 · Jeju Island, South Korea
    Computer and information sciences
    e103dxg
  21. Formal Techniques for Distributed System Development, FORTE/PSTV 2000, IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XIII) and Protocol Specification, Testing and Verification (PSTV XX), October 10-13, 2000, Pisa, Italy (FORTE)
    2000-10-10/13 · Pisa, Italy
    Computer and information sciences
    e113t5k
  22. Formal Methods for Protocol Engineering and Distributed Systems, FORTE XII / PSTV XIX'99, IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XII) and Protocol Specification, Testing and Verification (PSTV XIX), October 5-8, 1999, Beijing, China (FORTE, PSTV)
    1999-10-05/08 · Beijing, People's Republic of China
    Computer and information sciences
    e113t4n
  23. Formal Description Techniques and Protocol Specification, Testing and Verification, FORTE XI / PSTV XVIII'98, IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XI) and Protocol Specification, Testing and Verification (PSTV XVIII), 3-6 November, 1998, Paris, France (FORTE, PSTV)
    1998-01-01 · Paris, France
    Computer and information sciences
    e113t3q
  24. Formal Description Techniques and Protocol Specification, Testing and Verification, FORTE X / PSTV XVII'97, IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE X) and Protocol Specification, Testing and Verification (PSTV XVII), 18-21 November, 1997, Osaka, Japan (FORTE, PSTV)
    1997-01-01 · Osaka, Japan
    Computer and information sciences
    e113t2s
  25. Formal Description Techniques IX: Theory, application and tools, IFIP TC6 WG6.1 International Conference on Formal Description Techniques IX / Protocol Specification, Testing and Verification XVI, Kaiserslautern, Germany, 8-11 October 1996 (FORTE, PSTV)
    1996-10-08/11 · Kaiserslautern, Germany
    Computer and information sciences
    e113t1v

As JSON: https://labs.confref.org/api/search?field=1&discipline=Q21198&series=s109q69