Partenaire
- Université Saint-Andrews
- Université d'Oxford - département de philosophie
- Université de Bristol, département de philosophie
- Université d'Exeter
- Université d'Edinburgh - département d'informatique
- Groupe de recherche en logique langage et informatique
- Oxford University Computing Laboratory
- London School of Economics, Department of Philosophy, Logic and Scientific Method