- CISC Semiconductor GmbH
- CISCO Systems, Inc
- CREST Centre, Department of Computer Science
- CRIM
- California Institute of Technology
- Carleton University
- Catholic University of Leuven = Katholieke Universiteit Leuven
- CentraleSupélec
- Centre National de la Recherche Scientifique
- Centre de Recherche Informatique de Montréal = Computer Research Institute of Montréal
- Centre de Recherche en Numérique de Sfax
- Centrum Wiskunde & Informatica
- Combination of approaches to the security of infinite states systems
- Commissariat à l'énergie atomique et aux énergies alternatives
- Compiler Optimization and Run-time Systems
- Computer Research Institute of Montréal
- Computer Science Department
- Concordia University [Montreal]
- Construction of verified concurrent systems
- Corporate Technology
- Cracow University of Technology
- Czech Technical University in Prague