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