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.