rfi

À l'écoute
  • Direct Monde
  • Direct Afrique
  • Dernier journal Monde
  • Dernier journal Afrique
  • Dernier journal en Français facile
  • Dernier journal Amériques - Haïti
  • Tennis-Open d'Australie: l'Américaine Serena Williams battue en quarts malgré 4 balles de match face à la Tchèque Karolina Pliskova
  • Le Japon enregistre l'an dernier son premier déficit commercial depuis 2015
Autour de la question
rss itunes deezer

Comment vivre, travailler, aimer et voter à l’ère numérique?

Par Caroline Lachowsky

Notre invité du jour, Gilles Dowek (chercheur à Inria), s'interrogera autour de la question suivante : «Comment, vivre, travailler, aimer et voter à l’ère numérique ?».

Comment vivre, travailler, aimer et voter à l’ère numérique?

Comment, par petites touches, nous métamorphosons-nous en homo-sapiens numéricus ?

Et pourquoi cela change tout ?

Avec Gilles Dowek, chercheur à Inria au LSV, dans l'équipe Deducteam et professeur attaché à l'ENS Paris-Saclay. Ses recherches s'intéressent à la formalisation des mathématiques (la théorie des types, la théorie des ensembles, etc.), aux systèmes de traitement des démonstrations (vérification de démonstration, démonstration automatique, etc.), à la physique du calcul et à la sûreté des systèmes aéronautiques et spatiaux...

→ Son ouvrage Vivre, aimer, voter en ligne et autres chroniques numériques est paru aux Editions du Pommier.

De Stonehenge aux pyramides égyptiennes ou mayas, comment s’inspirer des astronomies du passé?

Emission spéciale à l’occasion du 70ème anniversaire de la Déclaration universelle des Droits de l’Homme