LaBRI-Hebdo 20
vendredi 19 mars 2004
Editorial
Bienvenue à Karen Raynal !
Actualités
- Tous les candidats du LaBRI à la qualification MdC en
27e section l'ont obtenue : félicitations à
Jean-Marc Cieutat, Yon Dourisboure, Emeric Gioan, Martin Hachet, Pierre Hanna,
Yannick Le Nir, Richard Moot, Patrick Reuter, Laurent Tichit, Ireneusz
Tobor et Aymeric Vincent.
- Le communiqué
de presse
du Comité National d'Initiative et de Proposition pour la Recherche
Scientifique.
- La Lettre 179
de la Délégation Aquitaine et Poitou-Charentes du CNRS.
- Les actualités du
département STIC du CNRS.
Appels et rappels d'offres
Annonces
Séminaires et groupes de travail
-
Lundi 22 mars, 14h - 15h, amphi LaBRI (Graphes et
Logique) -
Géraud Sénizergues : Le problème de l'équivalence
des DPDA t-turn.
- Lundi 22 mars, 15h20 - 16h30, GT1 ( |- ) -
Richard Moot : Réseaux de preuves (suite).
-
Jeudi 25 mars , 14h, amphi LaBRI (Séminaire)
- David Schmidt (Kansas State University, actuellement chercheur
invité à l'Ecole Polytechnique) : Extending over-approximating
models: an introduction to mixed models and separation logic.
- Vendredi 26 mars, 15h15, amphi LaBRI (Séminaire
d'Informatique Fondamentale) -
Madiagne Diallo : Titre à préciser.
Vie pratique
- Le nouveau serveur6 est en place avec MAPLE 9.
La vie ailleurs
http://www.labri.fr/labri-hebdo
Envoi de critiques, suggestions, articles et informations à : LaBRI-Hebdo@labri.fr.