Centre International de Rencontres Mathématiques
Laboratoire d'Informatique Fondamentale de Marseille
Agence Nationale de la Recherche (NAFIT ANR-08-EMER-01)
Association for Symbolic Logic