AFIT '00

Premier colloque annuel de
l'Association Française d'Informatique Théorique
Lyon, 10 et 11 mars 2000


Formulaire d'inscription

Le premier colloque de l'Association Française d'Informatique Théorique (AFIT) se tiendra les vendredi 10 et samedi 11 mars 2000 à l'ENS Lyon.

Au sujet des distinctions de thèse de l'AFIT.


- Agenda -

Soumission des thèses avant le 15 janvier 2000.
Colloque les 10 et 11 mars 2000.


- Conférenciers invités -


- Présentations -

Le comité des thèses a sélectionné six parmi les meilleures thèses en informatique théorique soumises.

Président: Jean-Pierre Jouannaud

Comité de sélection (comité des thèses):
Comité local d'organisation :



Planning des Journées

Les exposés auront lieu amphi A, accessible du LIP au troisième étage ou du labo de maths au quatrième.

Vendredi 10 mars

9h30 : Café et accueil

Présidente de séance : Brigitte Rozoy
10h15-11h00 : Bruno Guillaume : Un calcul de substitution avec étiquette
11h15-12h00 : Olivier Bournez : Complexité algorithmique des systèmes dynamiques continus et hybrides

12h00-13h45 : repas au restaurant de l'école

Président de séance :
13h45-14h45 : Maurice Nivat Pavages du plan
15h00-15h45 : Phong Nguyen : La géométrie des nombres en cryptologie

15h45-16h15 : pause café

Président de séance :
16h15-17h00 : Frédéric Magniez : Auto-test pour les calculs approché et quantique
17h15-18h15 : Géraud Senizergues : La saga des DPDA

19h00 : Repas du colloque dans un bouchon lyonnais proche de l'école et remise des distinctions

Samedi 11 mars

10h00-12h00 : Assemblée générale de l'AFIT
12h00 : repas au restaurant de l'école


Informations pratiques

Pour savoir comment se rendre à l'ENS Lyon, il peut être utile de consulter cette page, et également de se munir de ce plan d'accès.



Vous êtes à l'adresse :

http://www.ens-lyon.fr/~nportier/AFIT/AFIT.html


Page modifiée le 6 mars 2000