Sites Inria

Il y a 1 Résultats avec le mot clé : "Dowek"

Colloquium Polaris

Évènement

Colloquium Polaris - Gilles Dowek

28/03/2019

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

Lieu : Amphi Ircica, 50 avenue Halley, Haute Borne Villeneuve d'Ascq

Intervenant(s) : Gilles Dowek

Mots-clés :

Accueil > Centre > Lille > Agenda > Colloquium Polaris - Gilles Dowek

lire la suite

Haut de page

Suivez Inria