LaBRI-Hebdo 39
vendredi
22 octobre 2004
En avant-première : la lettre de Bernard Meunier, nommé
avant-hier président du CNRS.
Actualités
- Transmis par Chantal Bon Saint Côme, le refus
opposé par les négociateurs Couperin aux contrats proposés par les
éditions Elsevier : nous n'aurons plus accès aux périodiques en ligne
du groupe Elsevier l'année prochaine.
- La nouvelle commission de spécialistes 27e section a élu à l'unanimité
son bureau, composé du président : Achille Braquelaire, de deux
vice-présidents : Bruno Courcelle et Isabelle Dutour, et d'un
assesseur : Philippe Duchon.
- Le message
d'Antoine Petit aux directeurs de laboratoires.
- Le numéro 203
de la Lettre de la Délégation Aquitaine et Poitou-Charentes du CNRS.
Annonces, appels et rappels d'offres
- Christian Rétoré signale que les séminaires de l'ERSSAB (Equipe
de Recherche en Syntaxe et Sémantique à Bordeaux, CNRS & Bordeaux 3),
de l'équipe SIGNES (Signes linguistiques, grammaire et sens:
algorithmique logique de la langue, INRIA & Bordeaux 1 et 3), et de
l'équipe TELANCO (Textes, Langage, Cognition, Bordeaux 3) auront lieu
le lundi de 13h30 à 15h30, vraisemblablement à Bordeaux 3 compte tenu
des travaux d'extension du LaBRI.
- La Petite École de Combinatoire (vendredi matin, 9h30, amphi
LaBRI) devrait reprendre en novembre 2004, avec une série
d'exposés de Philippe Duchon autour de Chaînes de Markov, génération
aléatoire, et Couplage Depuis le Passé.
- Jusqu'à fin octobre, depuis l'université, on peut accéder
librement à la plate-forme électronique de l'IEEE : voir http://www.ieeexplore.ieee.org.
Séminaires, groupes de travail, conférences
-
Lundi 25 octobre, 14h - 15h, amphi LaBRI (Graphes et
Logique) -
V. Do Long, B. Le Saëc, H. Phan Trung : Reconnaître les langages
algébriques en utilisant des monoïdes finis.
- Jeudi 28 octobre, 11h, GT2 (Modélisation,
Vérification et Test de Systèmes Informatisés) -
Shweta Gehlot : Verification of Systems with Data and Control
Operations with Symbolic Simulation and Validity Checking.
-
Vendredi 29 octobre, 14h, GT2 (Graphes et Applications) -
Frédéric Mazoit : Largeur de branches des graphes d'intervalles
circulaires.
Vie pratique
- Le serveur de listes de diffusion de Bordeaux 1 sera interrompu
aujourd'hui, mais, hélas, seulement de 11h à 18h, pour changement de version.
- Le compte
rendu de la Commission Utilisateurs du 14 octobre
(Intranet). Prochaine réunion : le novembre.
La vie ailleurs
- Jeudi 28 octobre, de 18h30 à 20h, à l'Aquaforum Rives
d'Arcins-Océan, conférence de Michel Picard (Bordeaux 1) : Volcans
en France : les géants de feu sont-ils vraiment endormis ?
http://www.labri.fr/labri-hebdo
Envoi de critiques, suggestions, articles et informations à : LaBRI-Hebdo@labri.fr (au plus tard le jeudi
à 20h).