- CASH - Compilation and Analysis, Software and Hardware
- CISTER [Porto]
- CITI Centre of Innovation in Telecommunications and Integration of services
- CNR Istituto di Scienza e Tecnologie dell’Informazione “A. Faedo” [Pisa]
- COMmunications, Réseaux, systèmes Embarqués et Distribués
- Cap Gemini [Amsterdam]
- Carleton University
- Center for Research & Development in Mathematics and Applications [Aveiro]
- Centre National de la Recherche Scientifique
- Centre de Coopération Internationale en Recherche Agronomique pour le Développement
- Centre for Quantum Computation and Intelligent Systems &, School of Software
- Centro de Investigaçao e Desenvolvimento em Matematica e Aplicaçoes
- Centrum Wiskunde & Informatica
- Centrum voor Wiskunde en Informatica
- Certus Centre for Software Validation and Verification
- Chalmers University of Technology [Göteborg]
- Chennai Mathematical Institute [Inde]
- Chinese Academy of Sciences [Beijing]
- Chinese Academy of Sciences [Changchun Branch]
- Christian-Albrechts-Universität zu Kiel = Christian-Albrechts University of Kiel = Université Christian-Albrechts de Kiel
- Cluster of Excellence Multimodal Computing and Interaction
- Combination of approaches to the security of infinite states systems
- Computer Science and Engineering Department [Bucharest]
- Computer Science department [Michigan Tech]
- Computing Science Department
- Concurrency, Mobility and Transactions
- Construction of verified concurrent systems
- Czech Academy of Sciences [Prague]