APPEL à PARICIPATION

JOURNEE SLOVO (GDR-ALP, CNRS)

(Salle E12, Bâtiment IIIA-LIFO, Orléans)

LUNDI 30 septembre 2002

`` APPROCHES FORMELLES
= OUTILS D'ANALYSE ET DE SYNTHESE ''

(Applications à l'Etude de protocoles, de problèmes de Sécurité,..)

L'Université d'ORLEANS va attribuer le titre de Docteur Honoris Causa au Professeur Moshe VARDI (de l'Université de Rice, Texas USA), à l'automne cette année, et la cérémonie est fixée pour le MARDI 1er octobre 2002. Le laboratoire LIFO (Orléans) propose d'organiser une rencontre scientifique associée à cet événement, dans le cadre du groupe de travail SLOVO au sein du GDR-ALP (CNRS). Elle se tiendra la veille de la journée de la cérémonie, à savoir le LUNDI 30 septembre 2002.

Cette journée sera l'occasion de présenter des travaux de recherche - achevés, ou en cours - autour de la thématique annoncée. La participation est ouverte à toute la communauté des chercheurs (comme toute rencontre au sein du GDR-ALP). Le programme de la journée du 30/09/02 débutera par une conférence du Professeur Vardi (d'environ 1h), suivie par des présentations d'environ 30 minutes chacune. La rencontre s'achèvera par un cocktail.

La rencontre sera parrainée par le GDR(0673) - ALP (CNRS), et l'Université d'Orléans. Les chercheurs désirant faire une présentation, ou simplement assister à cette journée, sont priés de contacter les organisateurs :
      
       Siva Anantharaman
       Gaetan Hains

La rencontre se déroulera dans la Salle E12, au 1er Etage du Bâtiment LIFO-IIIA de la Faculté des Sciences, Université d'Orléans.
Sur le plan du Campus, ce bâtiment (d'une forme spéciale) se trouve à l'angle de la rue de Chartres et de la rue Léonard de Vinci,
à quelques 150 mètres au nord-est de l'arrêt "Université - Parc Floral" du tramway de la Ville d'Orléans (signalé par la ligne bleue
dans ce plan).

Pour d'autres détails d'accès, consulter le url : Accès au Campus.

La participation est sans frais. Le repas de midi (du 30 septembre 2002) sera assuré sous la condition expresse d'une inscription par courriel auprès des organisateurs avant le 23 septembre 2002.


Coordination Scientifique
      André ARNOLD (LaBRI, Bordeaux)
      Philippe SCHNOEBELEN (LSV, ENS-Cachan)
      Michael RUSINOWITCH (CASSIS, INRIA-Lorraine)
      Jean-François MONIN (France Telecom R&D)
      John MULLINS (CRAC, Ecole Polytechnique, Montréal)



Programme Prévisonnel
Résumés des exposés prévus
         


This document was translated from LATEX by HEVEA.