LaBRI-Hebdo 76
vendredi
14 octobre 2005
LaBRI-Hebdo souhaite la bienvenue à notre invité Bernard
Boigelot (Université de Liège), qui arrivera lundi 17 octobre, ainsi
qu'à ses nouveaux abonnés : Plamena Chongova (master), David Cutullic,
Baudouin Denis de Senneville (Bordeaux 2), Youssou Dieng (thésard),
Maher El'Arbi (thésard, École Nationale d'Ingénieurs de Sfax),
Wilfried Jouve (thésard), Mubashar Mustaq (thésard) et Mikaël Papin
(du laboratoire de Mathématiques Appliquées de Bordeaux).
L'Assemblée Générale du LaBRI a eu lieu jeudi 13 octobre.
La Rédaction remercie les informateurs qui lui en ont fait des
comptes rendus variés.
Actualités
Annonces, appels et rappels d'offres
- Les candidats à la qualification 2006 doivent s'inscrire sur Antarès avant le 19 octobre (mieux vaut s'y
prendre un peu avant ; Eric Sopena recommande de consulter au
préalable le site du CNU 27).
- La date limite pour proposer des stages aux élèves de
l'École Polytechnique a été repoussée au 21 octobre.
- Appel à participations : FMCO 2005,
Fourth International Symposium on Formal Methods for Components and Objects
(Amsterdam, 1er au 4 novembre).
- (Rappel) Élection du futur président de Bordeaux 1 : rencontres-débats
avec le seul candidat déclaré, Alain Boudou, et ses compagnons
- lundi 17 octobre, 12h30-13h30
(Petit Amphi de Biologie Animale, B5)
- mercredi 19 octobre, 12h30-13h30
(Amphi D, bât. A29)
- jeudi 20 octobre, 17h-18h
(Amphi de l'Institut de Mathématiques de Bordeaux).
Voir la déclaration (avec CV) et le programme de l'équipe.
- Réunion de l'ACI Versydis (LaBRI-LIAFA-LSV) à Cachan le lundi 17 octobre. Programme.
- (Rappel) Les 17 et 18 novembre, atelier Perspectives
in Verification à l'ENS Cachan, organisé par le LSV à l'occasion
du doctorat honoris causa de notre ami
Wolfgang Thomas.
Séminaires, groupes de travail, conférences
- Vendredi 14 octobre, 10h45, salle 076 (Combinatoire énumérative) -
Olivier Bernardi : Comptage bijectif des chemins de Kreweras et des
triangulations sans boucles.
-
Vendredi 14 octobre, 14h, salle 075 (Graphes et Applications) -
Mickaël Montassier : Coloration vs. coloration par listes.
-
Lundi 17 octobre, 14h - 15h, salle 076 (Algorithmique Distribuée) -
Cyril Gavoille : Structures de données distribuées: un survol.
-
Mardi 18 octobre, 11h, salle 076 (Graphes et
Logique) -
Bruno Courcelle : Mots à double occurrences de lettres et codages
des courbes, noeuds, graphes et dessins de graphes .
- Mardi 18 octobre, 14h15, salle 075 (ScAlApplix/RUNTIME) -
Charles-Henri Bruneau (MAB et MC2): Un logiciel séquentiel de simulation
d'écoulements incompressibles.
-
Jeudi 20 octobre, 9h30, Bordeaux 2
(Bio-informatique)
Nicolas Parisey : Titre à préciser.
- Jeudi 20 octobre, 11h - 12h15, salle 076 (Modélisation, Vérification et
Test de Systèmes Informatisés) -
Bernard Boigelot (Université de Liège) : Generic Acceleration by Iterating Automata.
-
Vendredi 21 octobre, 14h, salle 075 (Graphes et Applications) -
Cyril Gavoille : Succinct routing tables for planar graphs.
Vie pratique
- En attendant la mise en service du nouveau serveur www du LaBRI
et du nouvel Intranet, les très nombreux nouveaux arrivants peuvent
consulter le service d'aide Mayday (fournir le mot
de passe de courrier du LaBRI), et demander à qui de droit le
compte rendu de la Commission Utilisateurs du 21 septembre.
- ACM Digital Library : accès disponible pour un mois par la
plate-forme
de l'INIST (demander le nom de connexion et le mot de passe à
Jean-Christophe Aval).
- Philippe Biais signale qu'au départ de Roissy, pour se rendre aux
Etats-Unis d'Amérique, il faut désormais justifier la réservation d'un
hôtel ou d'un lieu d'hébergement.
- Les personnels CNRS et universitaires peuvent utiliser à
certaines heures la piscine du CREPS à condition de s'inscrire au
SIUAPS, Service Interuniversitaire des Activités Physiques et
Sportives (16 rue Jean Babin à Pessac, courrier :
SIUAPS@u-bordeaux2.fr).
Culture
- Dès la semaine prochaine, reprise des ateliers culturels du Service
Culture et Communication de Bordeaux 1 et du Service
Universitaire d'Action Sociale, ouverts aux étudiants et aux
personnels : musique (improvisation libre, musique électroacoustique),
atelier "Papiers collés", photo, cercle de lecture, chorale, atelier
d'écriture, théâtre, bande dessinée... Renseignements et inscriptions
au Service Culture et Communication (château Bonnefont, A37). C'est gratuit.
- Lundi 17 octobre, 18h15, amphi Physique B du bâtiment A22,
Rendez-vous du Lundi : conférence de Daniel Kunth (Institut
d'Astrophysique de Paris), Des mythes au Big Bang.
- Vendredi 21 octobre, 20h30, Amphi Kastler (Bât A9), par le Quatuor à cordes de l'Orchestre National
Bordeaux Aquitaine : oeuvres de Schubert, La jeune fille et
la Mort et le Quintette à cordes en ut majeur
op.163. Entrée libre, surtout si vous proposez de compléter le
quatuor pour jouer le quintette.
- Jusqu'au 28 octobre, à la Bibliothèque Universitaire des Sciences
et Techniques, exposition de livres : D'Aristote à
Einstein. Ouvrages du XVIe au XXe siècle et
présentation de volumes numérisés. Ouverture : de 9h à 19h du lundi au
vendredi, de 9h à 13h le samedi.
- Mardi 8 novembre, horaire à préciser, salle des Actes, concert de
la chorale Renaissance : sept chansons d'amour du XVIe siècle,
et un Miserere à titre expiatoire.
- (Rappel) Du 6 octobre au 10 novembre (lundi au vendredi de 12h à 14h et de
16h à 18h), exposition Outremer, terres, ocres et poussières de
Gabriel Verger au château Bonnefont.
- (Rappel) Fête de la Science, du 10 au 16 octobre : demandez le programme.
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.