Philosophie de la Logique e de l’informatique
Gödel : G. Crocco, P. Cantù, E. Audureau
Théorie de l’argumentation: P. Cantù, M. Quatrini
Informal Provability : G. Crocco
Épistémologie de la preuve : F. Oliva
Histoire et Philosophie des Mathématiques
Mathématiques Arabes : Ph. Abgrall
Mathématiques classiques : M. Anglade, J.-Y. Briend
Objectivité : F. Jaëck, P. Cantù
Axiomatique : P. Cantù, G. Crocco
Philosophie de la Physique
Weyl : J. Bernard
Philosophie de la chimie
Newton : O. Morizot
Épistémologie francaise
Vuillemin : G. Crocco, E. Adureau
Granger : G. Crocco, E. Audureau, P. Cantù