Chargement Évènements

Évènements le mardi 10 avril 2018

Recherche et navigation de vues Évènements

Trouver les Évènements

Navigation de vues Évènement

Rechercher Évènements

17 h 30 min

10 avril 2018 – Hiphis : La formalisation des preuves : quelles propriétés intrinsèques ?

10 avril à 17 h 30 min - 19 h 30 min

Mardi 10 avril 2018 de 17h30 à 19h30, UM Polytech, amphi Serge Peytavin (bâtiment 31, campus Triolet), entrée libre Michel Parigot Logicien, C.R. CNRS à l’IRIF Institut de Recherche en Informatique Fondamentale, Université Paris 7 Diderot Résumé :  Dans cette rencontre, il s’agira notamment de déterminer ce qui constitue une propriété intrinsèque d’une preuve, indépendamment... Lire la suite

Voir les détails »
+ Exporter les évènements