- MTA-BME Research Group of Technical Analytical Chemistry
- Macquarie University
- Max-Planck-Gesellschaft
- Max-Planck-Institut für Informatik
- McMaster University [Hamilton, Ontario]
- Mentor Graphics
- Michigan State University System
- Michigan State University [East Lansing]
- Microsoft Corporation [Redmond, Wash.]
- Microsoft Research
 |
Formal Techniques for Networked and Distributed Systems |