16 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. 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
3. 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
4. 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
5. 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
6. International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS)
   2008-06-04/06 · Oslo, Norway
   Computer and information sciences
   e103ck5
7. International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2007, FMOODS)
   2007-06-06/08 · Paphos, Cyprus
   Computer and information sciences
   e103cj7
8. International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2006, FMOODS)
   2006-06-14/16 · Bologna, Italy
   Computer and information sciences
   e103ch9
9. International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS)
   2005-06-15/17 · Athens, Greece
   Computer and information sciences
   e103cgb
10. International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS)
    2003-11-19/21 · Paris, France
    Computer and information sciences
    e103cfe
11. International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS)
    2002-03-20/22 · Enschede
    Computer and information sciences
    e103ceg
12. International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS)
    2000-09-06/08 · Stanford University, United States
    Computer and information sciences
    e103cdj
13. Formal Methods for Open Object-Based Distributed Systems (FMOODS)
    2000-06-09/12 · Lisbon, Portugal
    Computer and information sciences
    e12k4wr
14. International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS)
    1999-02-15/18 · Florence, Italy
    Computer and information sciences
    e103ccm
15. Formal Methods for Open Object-Based Distributed Systems (FMOODS)
    1997-01-01 · Canterbury, United Kingdom
    Computer and information sciences
    e12k4ym
16. Formal Methods for Open Object-Based Distributed Systems (FMOODS)
    1996-01-01 · Paris, France
    Computer and information sciences
    e12k4xp

As JSON: https://labs.confref.org/api/search?kind=event&field=1.2&series=s109pwx