- Dalhousie University [Halifax]
- David R. Cheriton School of Computer Science
- Delft University of Technology
- Departamento de Ciência de Computadores
- Department of Applied Mathematics and Computational Sciences [Nadu]
- Department of Computer Science
- Department of Computer Science [Oxford]
- Department of Computer Science [Swansea]
- Department of Computer Science and Engineering
- Department of Computer and Information Sciences [Univ Strathclyde]
- Department of Engineering Systems and Services [Delft ]
- Department of Formal Methods
- Department of Information Technology [Howrah]
- Department of Mathematical Sciences
- Department of Mathematics
- Department of Mathematics and Statistics [uni. Turku]
- Department of Medical Informatics
- Department of Networks, Systems and Services
- Department of Pure Mathematics [Waterloo]
- Department of mathematics [Bloomington]
- Design, study and implementation of languages for proofs and programs
- Designing the Future of Computational Models
- Deutsches Forschungszentrum für Künstliche Intelligenz GmbH = German Research Center for Artificial Intelligence
- Dip. di Informatica
- Dipartimento di Informatica
- Dipartimento di Informatica Sistemistica e Comunicazione
- Dipartimento di Sistemi e Informatica
- Dipartimento di informatica
- Division of Mathematical Sciences, School of Physical and Mathematical Sciences, College of Science
- Durham University
- Département Automatique, Productique et Informatique
- Département Sciences de la Fabrication et Logistique