LaBRI-Hebdo 43
vendredi
26 novembre 2004
Le "Best Paper Award" de la 29th
Annual IEEE Conference on Local Computer Network a été décerné à
Sapan Bhatia, Charles Consel, Anne-Françoise Le Meur et Calton Pu
(Georgia Institute of Technology) pour leur article Automatic
Specialization of Protocol Stacks in OS Kernels.
Actualités
- Le numéro 207
de la Lettre de la Délégation Aquitaine et Poitou-Charentes du CNRS.
Annonces, appels et rappels d'offres
- Damien Sauveron soutiendra sa thèse Étude et réalisation d'un
environnement d'expérimentation et de
modélisation pour la technologie Java Card. Application à la
sécurité vendredi 3 décembre à 11h, amphi LaBRI.
- Sébastien Grivet soutiendra sa thèse Dépliages efficaces de
réseaux de Petri lundi 6 décembre à 14h, amphi LaBRI.
- Une lettre de Philippe
Thieullen faisant état de la perte de dix ouvrages de la
Bibliothèque de recherche Mathématiques et Informatique, durant leur
présentation au LaBRI. Serge Dulucq tient à la disposition de tous la
liste des ouvrages "perdus".
- Campagne post-docs 2005 du CNRS.
- Appel à soumissions pour le prix Ackermann.
- Jeudi 2 décembre, à partir de 14h, à l'amphithéâtre Y. Simon de
l'IUT Bordeaux 1, demi-journée « Techniques, Pouvoirs,
Sociétés ».
- Samedi 4 décembre, arbre de Noël de l'Université, organisé par le
Service Universitaire
d'Action Sociale.
Séminaires, groupes de travail, conférences
-
Mardi 30 novembre , 9h-12h à l'INRA
(Bio-informatique)
Journée thématique de Bio-informatique : Génomique comparée.
comparée des mollicutes.
- Mercredi 1er décembre, 16h, GT1 (Séminaire des doctorants) -
Fabrice Bazzaro : Étiquetage de distance des graphes de
permutation.
-
Jeudi 2 décembre, 9h30, Bordeaux 2
(Bio-informatique)
Nicolas Goffard : Interactions protéines-protéines.
- Jeudi 2 décembre, 10h30, amphi LaBRI (
Image et Son) -
Martin Hachet : Interaction avec des PDA .
- Jeudi 2 décembre, 11h, GT2 (Modélisation, Vérification et
Test de Systèmes Informatisés) -
Thao Dang : The d/dt tool for verification of hybrid systems.
- Vendredi 3 décembre, 11h, amphi LaBRI (soutenance de thèse) -
Damien Sauveron : Étude et réalisation d'un
environnement d'expérimentation et de
modélisation pour la technologie Java Card. Application à la
sécurité.
Vie pratique
- L'amphi LaBRI et les salles GT pourront être utilisés jusqu'au
vendredi 17 décembre inclus, les travaux du rez-de-chaussée ne
débutant que la semaine suivante. Les responsables des groupes de
travail sont invités à passer chez Cathy Roubineau (qui réservera des
salles pour la rentrée).
- L'équipe système a installé (sur serveur6) la version
9.5 de Maple (maple95 et xmaple95) ; la version 9
est provisoirement utilisable (maple ou maple9, et
xmaple ou xmaple9). Vous pouvez aussi demander à l'équipe système une
installation sur votre machine.
- Une encyclopédie des classes de graphes et de ce qu'on connaît
d'elles, lien signalé par Bruno Courcelle : Information
System on Graph Class Inclusions.
- Bernard de Chartres à l'honneur dans Scholar Google, moteur de
recherche signalé par Jacques-Olivier Lachaud.
- Mercredi 22 décembre, de 9h à 14h, coupure générale d'électricité
à Bordeaux 1.
La vie ailleurs
- (Rectificatif au BIS) La représentation de l'opéra Didon et
Énée de Purcell (avec la chorale de Bordeaux 1) aura lieu lundi 29
novembre à 21h, amphi Kastler. Pour rémunérer l'orchestre et
les solistes, il sera demandé une participation exceptionnelle de 6
euros.
http://www.labri.fr/labri-hebdo
Envoi de critiques, suggestions, articles et informations à : LaBRI-Hebdo@labri.fr (au plus tard le jeudi
à 20h).