Le monde numérique au service de la certification et de la sécurisation des systèmes 

Workshop_3/4/5 Septembre .14_axe "Fiabilité, Assurance de Qualité et Sécurité"

du 03 septembre 2014 au 05 juillet 2014

Dans le cadre de l'axe "Fiabilité, Assurance de Qualité et Sécurité" du Cluster d'Excellence CPU (IdEx), nous avons le plaisir de vous convier à un workshop au LaBRI les 3, 4 et 5 Septembre prochain. 

Ce workshop local vise à réunir des chercheurs impliqués dans l'axe "Fiabilité, Assurance de Qualité et Sécurité" du Cluster d'Excellence CPU (IdEX Bordeaux). Le programme comprendra des présentations de conférenciers suivies de présentations données par des membres de l'axe. 

Voici la liste des orateurs qui ont confirmé leur participation aux journées :

  •  Oswaldo Costa, Universidade de Sao Paulo (USP),
  •  Sorina Ionica, Microsoft Research Redmond,
  •  Anthony Laverrie, INRIA Rocquencourt,
  •  Anne Parreau, Université de Liège,
  •  Christine Paulin, LRI, Univ. Paris Sud,
  •  Oriol Serra, Univ. Polit. de Catalunya - Barcelone
  • Annegret Wagler, Université de Clermant-Ferrand
  •  Paul Dorbec, LaBRI,
  •  Cyril Gavoille, LaBRI, 
  •  Nicolas Hanusse, LaBRI,
  •  Ralf Klasing, LaBRI,
  •  François Marc, IMS,
  •  Yves Métivier, LaBRI,
  •  Mohamed Mosbah, LaBRI,
  •  Chhandak Mukherjee, IMS,
  •  Christophe Nivot, INRIA, IMB,
  •  Laurent Simon, LaBRI.

Pour plus de détails: http://www.labri.fr/perso/zemmari/meeting/


Dernière mise à jour mardi 15 juillet 2014


HAUT