LaBRI-Hebdo 83
vendredi
2 décembre 2005
LaBRI-Hebdo souhaite la bienvenue à ses nouveaux
abonnés de la semaine : Ahmed Haj-Kacen, Mohamed Jmaiel, Guillaume
Labat, Silvère Lhermite (thésard) et Patrick Mary.
Information de direction
Les deux documents SD_22C_UR1_2007.pdf et SD_22C_UR2_2007.pdf ont été remis ce 1er décembre
par le LaBRI dans
le cadre de la contractualisation Recherche de l'Université Bordeaux 1
(accompagnés des fiches individuelles remplies par chacun des chercheurs et
enseignants chercheurs du laboratoire). Ils contiennent l'ensemble des
informations à jour concernant le laboratoire, des éléments sur son activité
et son évolution lors des 4 dernières années, et un projet de développement
pour le prochain contrat quadriennal 2007-2010.
J'invite l'ensemble des collègues du LaBRI à le consulter. Lors d'une
prochaine AG (que j'espère pouvoir réunir avant les prochaines vacances de
Noël), je reviendrai sur ces documents en essayant de répondre aux
nombreuses questions
que vous ne manquerez pas de vous poser.
Serge Dulucq
Actualités
- Les Conseils d'université de Bordeaux 1 ont élu hier, jeudi
1er décembre, les vice-présidents proposés par le nouveau
président, Alain Boudou : Boas Erez (VP du Conseil d'administration),
Jean-Baptiste Verlhac (VP du Conseil scientifique) et Jean-Rodolphe
Puiggali (VP du Conseil des études et de la vie universitaire).
- Le Forum Aquitain de la Recherche aura lieu jeudi 8
décembre.
- L'assemblée générale annuelle de l'AFoDIB
(Association de la Formation Doctorale en Informatique de Bordeaux) aura
lieu mardi 13 décembre à 16h30, amphi LaBRI.
- La dernière Lettre de la Délégation Aquitaine-Limousin du CNRS.
Annonces, appels et rappels d'offres
Soutenances
- Lundi 5 décembre, 9h30, amphi LaBRI, David Janin soutiendra son
mémoire d'habilitation à diriger des recherches Contributions aux
méthodes formelles : jeux, logique et automates.
- Mardi 6 décembre, 11h, salle 076 (
Graphes et Logique) - Marc Zeitoun : Decision problems for classes of rational languages
and finite semigroups..
- Mercredi 7 décembre, 14h, amphi LaBRI, Roland Barriot soutiendra
sa thèse Intégration des données biologiques à l'échelle de la
cellule.
- Lundi 12 décembre, 10h, amphi LaBRI, Aurélien Esnard
soutiendra sa thèse Analyse, conception et réalisation d'un
environnement pour le pilotage et la visualisation en ligne de
simulations numériques parallèles.
- Mercredi 14 décembre, heure et lieu à préciser, Ismaïl Berrada
soutiendra sa thèse Modélisation, analyse et test des systèmes
communicants à contraintes temporelles: vers une approche ouverte du
test.
Appels d'offres
- Eric Sopena invite les thésards (ainsi que ceux qui le furent
entre 2003 et 2006, et leurs directeurs de recherches) à mettre à jour leurs listes de publications.
- (Rappel) L'appel à projets Recherche, Enseignement
Supérieur, Transfert de Technologie de la Région.
- (Rappel) Appel à sujets de mémoire de recherche pour les
étudiants de deuxième année de master (février à mi-juin).
- (Rappel) Appel à propositions de stages de recherche pour les
étudiants du master d'informatique fondamentale à l'ENS Lyon (fin
janvier à fin juin). Date
limite : le 6 janvier.
- (Rappel) L'appel
d'offres 2006 du CCIFQ (Centre de coopération interuniversitaire
franco-québécoise). Date limite : le 20 février 2006.
Postes
- Offres de post-docs à Verimag, Grenoble (conception et
vérification formelle de systèmes embarqués).
Appels à communications
- Appel à communications à CSFW 19, 19th IEEE Computer Security Foundations
Workshop (Venise, 5 au 7 juillet 2006).
Séminaires, groupes de travail, conférences
- Vendredi 2 décembre, au LaBRI, dernière Journée AOC Bordeaux 2005 (Arbres et Autres Objets
Combinatoires aléatoires).
- Vendredi 2 décembre, 14h30, amphi LaBRI (soutenance de thèse) -
Pascal Grange : Systèmes distribués : transparence, masquage et
outils associés.
- Lundi 5 décembre, 9h30, amphi LaBRI (soutenance HDR) - David
Janin : Contributions aux méthodes formelles : jeux, logique et
automates.
-
Lundi 5 décembre, 14h30 - 16h30, salle des conférences de la maison des pays
ibériques à Bordeaux 3
(SIGNES) -
Gilles Régnier et Alain Régnier : Un analyseur de discours pour la
classification automatique des textes.
- Mardi 6 décembre, 14h15, salle 075 (ScAlApplix/RUNTIME) -
Elisabeth Brunet : Support d'ordonnancement et d'optimisation automatisés des communications pour les réseaux hautes performances.
- Mercredi 7 décembre, 14h, amphi LaBRI (soutenance de thèse) -
Roland Barriot : Intégration des données biologiques à l'échelle de la
cellule.
- Jeudi 8 décembre, 11h - 12h15, salle 076 (Modélisation, Vérification et
Test de Systèmes Informatisés) -
Ismaïl Berrada : Modélisation, analyse et test des systèmes
communicants à contraintes temporelles: vers une approche ouverte du
test.
-
Le semainier de l'Institut de Mathématiques de Bordeaux
Vie pratique
- Le LaBRI est maintenant inscrit à BiblioSTIC
(accessible à tous les personnels du LaBRI : s'adresser à Jean-Christophe
Aval si vous n'avez pas reçu les codes d'accès).
- Le nouveau logo du LaBRI, dans ses quatre versions :
est à utiliser sans modération, pour mise à jour de tout
document numérique ou papier comme pour création de tout nouveau
document.
- Maylis a demandé aux directeurs d'équipes de rappeler à leurs
ouailles que tout logiciel payant devait être acheté (message du CNRS
et du Ministère : l'université risque d'être contrôlée dans les mois
qui suivent).
Culture
- (Rappel) Lundi 5 décembre, 20h30, amphi 400 à Bordeaux 4, concert de
l'Orchestre National Bordeaux-Aquitaine (Campus en musique) :
Les folies de Guyenne sur instruments anciens.
- Mardi 6 décembre, 19h, amphi Kastler, ciné-club :
Happiness (Todd Solondz, 1997). Entrée libre. (NDLR : le mardi
suivant ce sera La rose pourpre du Caire, le premier Woody
Allen dont j'aie jugé le succès injustifiable, et le mardi d'après, un
festival de courts métrages dont l'un s'intitule Yaourts
mystiques, ce qui me donne bien envie de sécher le CEVU.)
- Lundi 12 décembre (Rendez-vous du Lundi), 18h15, amphi Physique B
(A22), projection-débat : L'Astronome
et l'Indien (Sylvie Blum et Carmen Castillo, 2003), avec la
participation de l'Astronome, David Elbaz (CEA Saclay).
- Lundi 12 décembre, 18h30, château Bonnefont,
Concert-lecture du du SCRIME (musique électro-acoustique).
- Du 15 décembre au 15 janvier, au château Bonnefont, expositions de
photos de Pierre Castéran : Graphographie, Ecrire avec l'écriture
et Pas très net. Vernissage jeudi 15 décembre à 18h.
http://www.labri.fr/labri-hebdo
Envoi de critiques, suggestions, articles et informations à : LaBRI-Hebdo@labri.fr (au plus tard le jeudi
à 20h).
Abonnement et désabonnement sur simple demande auprès de la Rédaction.