sem-calculs-et-preuves@inria.fr

Objet : Séminaire Calculs et Preuves

Description : Le séminaire Calculs et Preuves s'intéresse au Calcul formel, aux Preuves formelles et à leurs interactions. Il a lieu au bâtiment Turing sur le campus de Polytechnique.
Site web : http://specfun.inria.fr/seminar/