- 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
- Center for Research & Development in Mathematics and Applications [Aveiro]
- Centre National de la Recherche Scientifique
- 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]
- Combination of approaches to the security of infinite states systems
- Computer Science and Engineering Department [Bucharest]
- Computer Science department [Michigan Tech]
- Construction of verified concurrent systems