Association Française d'Informatique Théorique
Président d'honneur
Maurice Nivat
Création
L'AFIT est le chapitre français de l' European Association for
Theoretical Computer Science (EATCS). Elle a été créée en 1992 afin
d'augmenter la visibilité de notre pays au sein de cette société
savante européenne dont les membres appartiennent à tous les pays du
monde. l'AFIT regroupe la pluspart de nos collègues en poste dans les
universités françaises qui sont membres de l'EATCS, au prix d'une
cotisation additionnelle très modeste. Il est d'usage que son président
soit membre du conseil de l'EATCS.
Rôle
-
Développement de la recherche et de l'enseignement de l'informatique
théorique en France,
-
coordination et intensification des échanges
entre étudiants, enseignants et chercheurs,
-
organisation de
rencontres, de séminaires, de conférences, de projets communs de
recherche et d'enseignement,
-
échange d'informations et
diffusion des résultats de la recherche.
Actions
-
L'AFIT organise un
colloque annuel, suivi de son assemblée générale annuelle; la
présence à ces journée ne préjuge pas de l'appartenance préalable à
l'association;
-
L'AFIT a mis en place un
comité des thèses en informatique théorique
qui vise à la
promotion des thèses de notre discipline qu'il jugera excellentes.
-
l'AFIT patronne l'
école de printemps d'informatique théorique;
-
L'AFIT patronne des
groupes de travail et leur fournit une aide
financière à la mesure de ses ressources;
-
l'AFIT contribue au bulletin de l'EATCS;
-
l'AFIT participe avec l'EATCS à une réflexion sur le soutien de la
recherche en informatique théorique par le biais d'un
programme de recherche
piloté par les communautées européennes;
-
l'AFIT est association fondatrice
de l'ASTI;
-
L'AFIT se propose de faciliter les contacts scientifiques avec les
centres de recherche étrangers, en particulier dans le but de
faciliter la recherche de postdocs par les jeunes thésards;
-
-
Si vous voulez devenir un groupe de travail de l'AFIT en 2001, vous
pouvez m'envoyer un court document par email avant le 1er février.
La décision sera annoncée au
colloque de la Villette.
Conseil d'administration
-
Membres : Jean-Daniel Boissonnat (INRIA-Sophia), Ahmed Bouajjani
(Paris 7), Thierry Boy de la Tour (Grenoble), Didier Caucal (Rennes),
Christine Choppy (Paris 13), Gilles Dowek (INRIA-Rocquencourt),
Jean-Pierre Jouannaud (Orsay), Pascal Koiran (Lyon), Denis Lugiez
(Marseille), Maurice Nivat (Paris 7), Laure Petrucci-Dauchy (Evry),
Antoine Rauzy (Bordeaux), Brigitte Rozoy (Orsay), Patrick Sallé
(Toulouse), Philippe Schnoebelen (ENS-Cachan), Sophie Tison (Lille),
Brigitte Vallée (Caen).
Bureau
-
Président d'honneur : Maurice Nivat,
-
Président :
Jean-Pierre Jouannaud
-
Vice-Président : Sophie Tison,
-
Secrétaire : Ahmed Bouajjani,
-
Trésorier : Florent Jacquemard,
-
Bulletin de l'EATCS : Philippe Schnoebelen, avec l'aide de Gregory Kucherov et
Laurent Rosaz,
-
Serveur AFIT : Laure Petrucci-Dauchy.
-
Comité des thèses : Gilles Dowek.
Comptes-rendus
Nouvelles brèves
-
Une
est organisée sous l'égide de l'ASTI le 20 octobre à Paris. Nous
invitons tous ceux qui veulent en savoir un peu ou un peu plus sur le
calcul quantique à assister à cette journée. Les infos sont
disponibles sur le serveur ASTI.
-
des soumissions au comité des thèses en Informatique
Théorique;
-
-
Prix de Thèse de SPÉCIF
-
Discussions à Bruxelles sur le possible lancement d'un futur
PROGRAMME DE RECHERCHE
EUROPÉEN concernant l'informatique théorique.
Adhérents
L'AFIT compte environ 160
adhérents.
Bulletin d'adhésion
Jean-Pierre Jouannaud
Dernière modification : 17 octobre 1998.