Sites Inria

There are 3 Results with the keyword : "Gilles Dowek"

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

Informatique et Sciences du Numérique - © Inria Lille

Education

First digital school book

16/07/2012

The subject Computer and Digital Sciences will become part of the French high-school system’s scientific program this coming September! For this purpose, Gilles Dowek has created the first digital school book dedicated to teaching this subject!

Keywords:

Home > Centre > Sophia > News > Premier manuel scolaire numérique ISN

More

Awards

"Le Temps des algorithmes" is rewarded

Magalie Quet - 26/01/2018

As part of La Science se Livre, an event aimed at promoting scientific culture, the Hauts-de-Seine department has given an award to two Inria researchers, Gilles Dowek and Serge Abiteboul, from the Deducteam (Saclay - Île-de-France Centre) and Valda (Paris centre) teams respectively, for their book entitled Le Temps des algorithmes .

Keywords:

Home > Centre > Saclay > News > "Le Temps des algorithmes" récompensé

More

Top