Sites Inria

There are 2 Results with the keyword : "Deducteam"

Fête de la science 2014

Fête de la science 2014

9/10/2014 to 11/10/2014

Du 9 au 11 octobre, l'UPMC, le Museum National d'Histoire Naturelle et l'Université Paris-Sorbonne installent le Village des Sciences Sorbonne Universités sur le campus Jussieu ! Petits et grands pourront manipuler, échanger avec des femmes et des hommes passionnés de science, faire connaissance avec les métiers de la recherche et découvrir les coulisses des laboratoires de chimie, physique, biologie, informatique-ingénierie, sciences de la terre, archéologie, histoire, etc.

Place : UPMC, 4 place Jussieu 75252 Paris cedex 05

Keywords:

Home > Centre > Paris > Calendar > Fête de la science 2014

lire la suite

Team

Meet with DEDUCTEAM

Charlotte Renauld - 27/06/2016

DEDUCTEAM joined the Inria Saclay – Île-de-France Research Centre on 1 January 2016. The team, which is going through some major changes, works on proof systems and deduction. Interview of Gilles Dowek, leader of DEDUCTEAM, at ENS Cachan.

Keywords:

Home > Centre > Saclay > News > Rencontre avec DEDUCTEAM

More

Top