Sites Inria

English version

A la une

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 :

lire la suite

Évènement

Pharo Days 2019

4/04/2019 au 5/04/2019

L'équipe Rmod organise les Pharo Days 2019 . C'est une conférence sur le langage de programmation. Elle se tiendra du 4 au 5 avril, au sein du centre de recherche Inria Lille - Nord Europe, dans l'amphithéâtre du bâtiment B.

Lieu : Centre de recherche inria Lille - Nord Europe, 40 avenue Halley Parc scientifique de la Haute Borne, Villeneuve d'Ascq

Mots-clés :

lire la suite

Évènement

2nd Colloque humAIn

4/04/2019

Rendez-vous le jeudi 4 avril à Polytech Lille pour le second séminaire scientifique de l'alliance Hauts-de-France en Intelligence Artificielle "humAIn". Le titre est Explicabilité et Acceptabilité. Les inscriptions en lignes sont ouvertes.

Lieu : Polytech Lille

Mots-clés :

lire la suite

Haut de page

Suivez Inria