- Design, study and implementation of languages for proofs and programs
- DGA Maîtrise de l'information
- Declarative & Reliable management of Uncertain, user-generated Interlinked Data
- Delft University of Technology
- Department of Algorithms, Computation, Image and Geometry
- Department of Computer Science
- Department of Computer Science [Bucharest]
- Department of Computer Science [Santa Barbara]
- Department of Electronics and Information Systems - Ghent University
- Department of Formal Methods
- Department of Mathematical Informatics
- Department of Networks, Systems and Services
- Dependability Interoperability and perfOrmance aNalYsiS Of networkS
- Design and Implementation of Autonomous Distributed Systems
- Dipartimento di Ingegneria informatica automatica e gestionale [Roma]
- Dipartimento di Matematica [Padova]
- Direction de Recherche Technologique (CEA)
- Direction générale de l'Armement (DGA)
- Diversity-centric Software Engineering
- Domaine Hypermedia (IRT b<>com)
- Duke University [Durham]
- Dynamics, Logics and Inference for biological Systems and Sequences
- Délégation générale de l'armement
- Département Automatique, Productique et Informatique
- Département Images, Données, Signal
- Département Informatique
- Département Informatique et Réseaux
- Département Mathematical and Electrical Engineering
- Département Réseaux et Services de Télécommunications
- Département Systèmes Réseaux, Cybersécurité et Droit du numérique
- Département d'Informatique et de Recherche Opérationnelle [Montreal]
- Département d'informatique - ENS Paris
- Département de Physique Nucléaire (ex SPhN)