LaBRI-Hebdo 63
vendredi
20 mai 2005
La Rédaction de LaBRI-Hebdo prie à nouveau ses lecteurs de bien
vouloir excuser la parution tardive du numéro de cette semaine (qui
n'est malheureusement imputable qu'à elle-même, cette fois).
Actualités
- 42 chercheurs syldaves ont péri étouffés dans l'incendie de leur
laboratoire : les accès normaux étant bloqués par des travaux de
rénovation, l'évacuation n'a pu se faire que par un escalier de
secours encombré de vélos. Le directeur du laboratoire, qui avait
interdit d'entreposer les deux-roues dans les bureaux, a été
écroué. Les héritiers des victimes ont saisi la Cour de Justice
Européenne d'une demande de remboursement des bicyclettes dérobées par
les rescapés.
- Le numéro 230 de la Lettre de la Délégation Aquitaine-Limousin
du CNRS.
Annonces, appels et rappels d'offres
- Bonus Qualité Recherche 2005 : appel à projets.
- Appel à participations à LICS 2005, Twentieth Annual IEEE Symposium on
LOGIC IN COMPUTER SCIENCE
(Chicago, 26 au 29 juin).
- Appel à communications à l'atelier (satellite d'EMSOFT 05) WESE, Workshop On Embedded Systems Education (Jersey
City, 22 septembre).
- (Rappel) Les appels d'offre du GIP ANR.
- (Rappel) Appel à
propositions pour la Fête de la Science (10 au 16 octobre
2005), à renvoyer avant le 31 mai à Anne Lassègues, au Service Culture
et Communication.
Séminaires, groupes de travail, conférences
-
Lundi 23 mai, 11h, salle 300 de l'IMB (Graphes et
Logique) -
Ramaswamy Ramanujam (Chennai) : Decidable logics for security protocols.
-
Lundi 23 mai, 13h30 - 15h30, salle B101 à Bordeaux 3
(SIGNES)
-
Jean-Michel Gouvard : Remarques sur le futur des verbes à
l'infinitif en -ir et présent de l'indicatif à base "e".
- Mardi 24 mai, 11h, salle 333 à l'ENSEIRB (Phoenix) -
George Necula (Berkeley): The Open Verifier Framework for Building
Foundational Verifiers.
La vie ailleurs
- Jeudi 26 mai, de 18h30 à 20h, à l'Aquaforum (Centre
Commercial Régional Rives d'Arcins), conférence de Hervé Le Treut
(Paris 6) : L'avenir de nos climats : des modèles aux incertitudes.
Vie pratique
Personnels
- Prochain Conseil Scientifique : le 30 juin, dernière occasion
avant les vacances d'été de demander une inscription en vue de
l'habilitation à diriger des recherches.
http://www.labri.fr/labri-hebdo
Envoi de critiques, suggestions, articles et informations à : LaBRI-Hebdo@labri.fr (au plus tard le jeudi
à 20h).