LaBRI-Hebdo 65
vendredi
3 juin 2005
Actualités
- Le numéro 232 de la Lettre de la Délégation Aquitaine-Limousin
du CNRS.
- Le classement de la commission de spécialistes pour
les recrutements de maîtres de conférences en 2005. La réunion pour
les postes d'ATER aura lieu lundi 13 juin.
Annonces, appels et rappels d'offres
- Un poste d'ATER est à pouvoir au Laboratoire
Spécification et Vérification de l'ENS de Cachan (date limite pour
l'envoi des dossiers : le 10 juin).
Séminaires, groupes de travail, conférences
- Vendredi 3 juin, 10h - 12h15, puis 14h30-16h15, amphi D, A29 (Modélisation, Vérification et Test de Systèmes
Informatisés) - Journée en l'honneur d'André
Arnold. Buffet vers 16h30 dans l'atrium du LaBRI.
-
Lundi 6 juin, 13h30 - 15h30, salle B101 à Bordeaux 3
(SIGNES) -
Alain Viaut : Vers un standard européen de la protection des
langues minoritaires.
-
Lundi 6 juin, 11h, salle 200 de l'IMB (Graphes et
Logique) -
Kamal Lodaya (IMSc - Chennai) : Looking back at process algebra.
- Jeudi 9 juin, 11h, salle 300 de l'IMB (Modélisation, Vérification et
Test de Systèmes Informatisés) -
François Laroussinie (LSV, Cachan) : Model Checking Durational
Probabilistic Systems.
Vie pratique
- N'oubliez pas d'aller chercher votre nouveau badge avant ce soir
chez Cathy Roubineau (même si vous ne déménagez pas dans l'extension).
- La Billetterie du Service Universitaire
d'Action Sociale tient à votre disposition les programmes et les
formules d'abonnement à la saison 2005-2006 de l'Opéra de Bordeaux.
http://www.labri.fr/labri-hebdo
Envoi de critiques, suggestions, articles et informations à : LaBRI-Hebdo@labri.fr (au plus tard le jeudi
à 20h).