Sites Inria

Il y a 2 Résultats avec le mot clé : "Preuve"

Théorie de la réécriture

École internationale d'été en réécriture

1/07/2019 au 6/07/2019

La 11e édition de l’École internationale en réécriture se tiendra du 1er eu 6 juillet 2019 à Paris. Organisée par Inria et les MINES ParisTech, elle s’adresse aux étudiantes et étudiants en master, doctorantes et doctorants, et chercheurs et chercheuses intéressé.e.s par les concepts de la théorie de la réécriture et leurs applications.

Lieu : MINES ParisTech

Mots-clés :

Accueil > Centre > Saclay > Agenda > École internationale d'été en réécriture

lire la suite

Équipe de recherche

Rencontre avec DEDUCTEAM

Charlotte Renauld - 27/06/2016

L’équipe DEDUCTEAM a rejoint le centre Inria Saclay – Île-de-France au 1er janvier 2016. Cette équipe en pleine transformation travaille sur les notions de preuve et de déduction. Rencontre avec Gilles Dowek, responsable de l’équipe DEDUCTEAM dans ses bureaux à l’ENS Cachan.

Mots-clés :

Accueil > Centre > Saclay > Actualités > Rencontre avec DEDUCTEAM

Lire la suite

Haut de page

Suivez Inria