Sites Inria

Évènement

Colloquium Polaris - Gilles Dowek

Colloquium Polaris

Gilles Dowek interviendra le 28 mars prochain, dans le cadre du Colloquium Polaris , de 14h à 15h30. Rendez-vous dans l'amphi de l'Ircica . Il nous parlera de Logipédia : vers un wikipédia des démonstrations formelles

  • Date : 28/03/2019
  • Lieu : Amphi Ircica, 50 avenue Halley, Haute Borne Villeneuve d'Ascq
  • Intervenant(s) : Gilles Dowek

Logipedia : vers un Wikipédia des démonstrations formelles
Les démonstrations formelles, c'est-à-dire informatisées, sont devenues un outil central en informatique (sûreté, sécurité...) et en mathématiques. Cependant, chaque système - Coq, HOL Light, Isabelle/HOL, PVS ... - implémente son langage et sa théorie, limitant les possibilités d'interopérabilité entre systèmes et la durabilité de ces démonstrations.
Logipedia est une encyclopédie, en construction, de démonstrations formelles exprimées dans diverses théories.
Nous présenterons cette encyclopédie et discuterons de la question scientifique qui se cache derrière ce développement : qu'est-ce qu'une théorie ?

Mots-clés : Colloqium Polaris Dowek Logipedia

Haut de page

Suivez Inria