| Institute of Mathematics and Computer Science
At the Academy of Sciences of Moldova. Researches pure and applied mathematics, computer science, and information technologies. |
| Interdisciplinary Research Collaboration in Dependability of Computer-Based Systems
Led by the University of Newcastle, UK. Addresses the dependability of computer-based systems. Information about research and job opportunities. |
| LAPIS
University of Victoria Laboratory for Parallel and Intelligent Systems is a research group with interests in concurrent systems, interconnection networks, neural networks, diagnosis and design automation |
| LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Boasting more than 150 researchers and around a hundred postgraduates, LORIA carries out its research along two broad themes: theories and techniques of software production (supplying methods, languages and tools which ensure the development and maintenance of dependable, efficient software), human/machine communication and artificial intelligence (the definition of new models leading to an increase in the ability of computers to reason and communicate with humans, and the testing of them in realistic environments) |
| LSV, Cachan
The Laboratoire Spécification et Vérification is the Computer Science laboratory of the École Normale Supérieure de Cachan, with about twenty researchers, PhD students and post-docs on the themes of specification and verification. |
| Maui High Performance Computing Center
Affiliated with the University of New Mexico. Training workshops and supercomputer documentation. |
| MCS at Argonne National Laboratory
Description of past and present research using supercomputers, abstracts of publications, and links to software being developed at the lab. |
| Mechanical Systems Services - Southwest Research Institute
Conducts research and applied engineering projects in a range of machine vision technologies. |
| Microsoft Research, Cambridge
Research into distributed systems, hardware, information retrieval and analysis, integrated systems, machine learning, networking, and security. Project information and publications. |
| Mississippi Center for Supercomputing Research
Provides high-performance computing support to the state-supported institutions of higher learning in Mississippi and the University of Mississippi Medical Center. Papers and description of computing resources. |