Journée du LIX sur les applications Télécom, Jeudi 17 mai 2001

Avec la participation de l'ENS-Cachan (Laboratoire LSV), France Telecom R&D (équipe), de l'INRIA-Rocquencourt (projets INRIA LOGICAL et MOSCOVA) et du LRI (équipe DEMONS).
9h. accueil café
9:25. Introduction aux journéees, Jean-Pierre Jouannaud
9h:30. L'équipe algorithmique du LIX et les applications Télécom, Jean-Marc Steyeart
9h:45. Algorithmique des transmissions mobiles, Daniel Krob ou Ekaterina Vassilieva
10:15. Le LSV et les applications Télécom, Philippe Schnoebelen
10:30. Pause
10:45. Sécurité des protocoles cryptographiques, Jean Goubault
11:15. L'équipe cryptologie du LIX et les applications Télécom, François Morain
11:30. Cryptosystèmes robustes, Pierrick Gaudry
12:00. Déjeuner
13:30. L'équipe méthodes formelles de FT R&D, Didier Begay
13:45. Modélisation et vérification du protocole ABR, Jean-Francois Monin
14:15. L'équipe récriture et preuve du LIX et les applications Télécom, Jean-Pierre Jouannaud ou Ian Mackie
14:30. Le système Fatalis, Mitsuhiro Okada
15:00. Pause
15:15. Sylvain Conchon (projet MOSCOVA), Le controle d'accès aux ressources dans les calculs de processus avec mobilité
16:00. DEMONS/LOGICAL et les applications Télécom, Christine Paulin
16:15. La modélisation du protocole PGM, Yijia Chen
17:00. Pôt de clôture des journées.