Séminaire méthodes formelles et sécurité

Les exposés du séminaire ont lieu sur le campus de Beaulieu, à l'INRIA Rennes (accès, plan du campus), en général dans la salle Turing.

Les séminaires sont ouverts à tous. Afin de faciliter l'accès à la salle du séminaire, les personnes extérieures à l'INRIA et à l'IRISA doivent s'inscrire en donnant leur nom et leur affiliation à Lydie Mabil (lydie.mabil@irisa.fr).

La plupart des exposés sont filmés. Les films sont accessibles via l'intranet de l'INRIA (à partir d'ici) ou l'intranet de la DGA.

Prochains exposés

25/5 à 11h
Binary Analysis: From Practice (to Theory and back) Jean-Marie Borello, Colas Le Guernic (DGA-MI)
1/6 à 11h
Tracking information flow in web applications Andrei Sabelfeld (Chalmers University)
15/6 à 11h
Titre à venir Guillaume Hiet (Supélec)

3 janvier 2011 Exposés passés

 

Liste de diffusion

Pour recevoir les annonces du séminaire, merci de vous inscrire à la liste de diffusion. Vous pouvez également accéder à l'archive des exposés ayant eu lieu. Ces exposés ont été filmés et sont consultables ici (accès réservé aux utilisateurs de l'intranet de l'INRIA ou de la DGA-MI).

Responsables du séminaire

Sandrine Blazy, INRIA-IRISA, Campus de Beaulieu, 35 042 Rennes cedex

Tél. : 02 99 84 22 87

Sandrine.Blazy@irisa.fr

Florence Schadle, DGA-MI, BP 57419, 35 174 Bruz Cedex

Tél. : 02 99 42 64 58

Partenaires