img_logo-Inria

img-en-tete-seminaire-JPB Let's imagine the future

November 8 and 9 2012

img_depart-retraiteJP-Banatre Ce séminaire, en l'honneur du départ en retraite de Jean-Pierre Banâtre, s'est déroulé au centre Inria Rennes Bretagne Atlantique, à l'initiative de Thierry Priol et de plusieurs autres personnalités. Durant ces deux journées, il a réuni de nombreux chercheurs, dans des domaines de recherche variés, venus rendre un hommage appuyé à Jean-Pierre Banâtre, au scientifique, évidemment, mais également à l'homme, au collègue, à l'ami. L'intégralité des exposés scientifiques a été enregistré et nous vous invitons à partager ces moments de confrontations de résultats scientifiques qui attestent, au delà d'un bel hommage à un responsable historique de l'Institut, de l'excellente santé de notre recherche scientifique.

Les exposés scientifiques

8 novembre 2012

Ces exposés sont regroupés selon les différents domaines de recherche abordés durant ces deux journées.

Vérifier et prouver

Get the Flash Player to see this player.
" Vérifier automatiquement la sûreté des logiciels critiques "
Xavier Rival - Chargé de recherche Inria - Projet Abstraction

img-casqueAudio Questions à Xavier Rival (MP3) - durée: 2:33

img-logoPDF Les transparents (PDF)

Get the Flash Player to see this player.
" Prouver les applications du web "
Karthikeyan Bhargavan - Directeur de recherche Inria - projet PROSECCO

img-casqueAudio Questions à Khartikeyan Bhargavan (MP3) - durée: 1:57


img-logo-videotheque

© 2012 INRIA-Rennes-Bretagne Atlantique