 |
Formal Techniques for Distributed Systems 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 |
 |
- Brunel University London [Uxbridge]
- California Institute of Technology
- Catholic University of Leuven - Katholieke Universiteit Leuven
- Centre National de la Recherche Scientifique
- DSIC
- Departamento de Sistemas Informáticos y Computación
- Department of Computer Science
- Department of Computing and Information Sciences [Kansas]
- Department of Electronics and Telecommunication
- Department of Informatics [Oslo]
- Department of Information Systems and Computing
- Department of Telematics
- Departmento de Sistemas Informáticos
- Distributed and Iterative Algorithms for the Management of Telecommunications Systems
- Eidgenössische Technische Hochschule - Swiss Federal Institute of Technology [Zürich]
- Faculty of Mathematics and Natural Sciences [Oslo]
- Fondazione Bruno Kessler [Trento, Italy]
- IMT Institute for Advanced Studies [Lucca]
- Inria Rennes – Bretagne Atlantique
- Institut National Polytechnique de Grenoble
- Institut National de Recherche en Informatique et en Automatique
- Institut National des Sciences Appliquées
- Institut National des Sciences Appliquées - Rennes
- Institut de Recherche en Informatique et Systèmes Aléatoires
- Institut polytechnique de Grenoble - Grenoble Institute of Technology
- Kansas State University
- King Mongkut’s University of Technology Thonburi [Bangkok]
- Laboratorio CINI-ITEM Carlo Savy
- Laboratory for Reliable Software
- Logic and Security Laboratory, Department of Computer Engineering, Faculty of Engineering
- Nanjing University
- Norwegian University of Science and Technology
- Norwegian University of Science and Technology [Trondheim]
- Queen's University [Kingston, Canada]
- School of Computing
- Software Engineering and Technology
- State Key Laboratory of Novel Software Technology [Nanjing University]
- System synthesis and supervision, scenarios
- Technical University of Eindhoven
- Technische Universität Darmstadt
- The Interventional Center, Oslo University Hospital, Institute of Hospital Medicine
- UCM
- Universidad Complutense de Madrid = Complutense University of Madrid [Madrid]
- Universidad de Castilla-La Mancha
- Universita degli studi di Genova
- University of Illinois System
- University of Illinois at Urbana-Champaign [Urbana]
- University of Leicester
- University of Oslo
- University of Pisa - Università di Pisa
- Université Joseph Fourier - Grenoble 1
- Université de Rennes
- Université de Rennes 1
- VERIMAG