Laboratoire Bordelais de Recherche en Informatique

LaBRI-Hebdo 156

Vendredi 7 Décembre 2007

Les manifestations et grèves des étudiants ont visiblement soulevé un intérêt tout particulier pour les universités. Cette semaine, Metro consacre 2 articles, l'un abordant le fossé entreprise-université, et l'autre la fin des mouvement anti-LRU.

Dans une autre catégorie, la fondation Mémoires Informatiques présente son nouveau site consacré à l'histoire de l'informatique en Suisse.

Bonne lecture

Actualités locales

Nouveaux arrivants

Bienvenue à lui ! Daniele Porello rejoint le thème "Informatique et Linguistique" pour effectuer un post-doctorat. Il a obtenu sa thèse à l'université de Gènes.

Actualités des institutions

Semainier, du 10 au 14 décembre 2007

Deux cours de l'école doctorale débutent cette semaine :
"An introduction to Toeplitz operators", par Zeljko Cuckovic (University of Toledo, Ohio, USA) (mardi, mercredi, jeudi)
"Application des courbes elliptiques à la cryptographie", par Christophe Doche (Macquarie University - Australia) (à partir de lundi)
Les dates précises et les salles où se tiennent les cours se trouvent ici.

Jour Horaire Lieu Intitulé
Lundi 11h-12h30 Amphi Soutenance de thèse : Mouhamed Diouf (dir : R. Castanet, S. Maabout)
Spécification et mise en oeuvre d'un formalisme de règles métier
14h30-16h30 Amphi Soutenance de thèse : Arnaud Labourel (dir : Cyril Gavoille)
Partition d'arêtes et représentation implicite de graphes
Mercredi 9h-12h Amphi IMB (maths) Séminaire et formation sur Maple 11 (suivis de TP à la DRIMM)
Inscription par mail à france@maplesoft.com en précisant si vous souhaitez suivre les TP.
10h30-12h Amphi Soutenance de thèse : Fanny Chevalier (dir : M. Delest et J.-Ph. Domenger)
Reconnaissance de motifs dans des graphes : heuristique et applications
14h-15h 178 GdT Algorithmique Distribuée : Leszek Gasieniec
Energy and Time Efficient Broadcasting in Known Topology Radio Networks
15h-16h 178 GdT Algorithmique Distribuée : Jurek Czyzowicz
Gathering few fat robots
Jeudi 9h30-10h30 178 GdT Bioinformatique : Aïda Ouangraoua
Comparaison de structures biologiques arborescentes
11h-12h15 076 GdT Modélisation et vérification : Jean-Louis Boulanger (UT Compiègne)
Titre à préciser (sûreté de fonctionnement)
Vendredi 9h30-10h30 075 GdT BDvisu : Jean-Marc Fédou (Nice)
Graph Clustering and Minimum Cut Trees
9h30-10h30 076 Preuves pour les nuls par J. Bétréma
Qu'est ce qu'un théorème de type T ? Preuves par Coq
10h40-12h 076 GdT Combinatoire énumérative et génération aléatoire : Robert Cori
Permutations connexes et hypercartes
14h00-15h00 075 GdT Graphes et Applications : Mickaël Montassier
Une relaxation du problème de Havel

Vie pratique

Appels d'offres et à projets

Autres

Activités culturelles

Au programme de Bordeaux 1 Culture cette semaine, on notera :

A noter aussi la concurrence du service culturel de Bordeaux 2, avec le cycle des conférences 2007/2008 sur le thème "Demain, Après-demain". Le prochain rendez-vous est fixé le mercredi 12 décembre 2007 avec l'intervention de Philippe Anthony Bopp, professeur des universités, sur le thème "Splendeur et misère de la recherche universitaire". Université Segalen, place de la Victoire, amphithéâtre Pitres.

Échéancier

Toutes les échances en cours sont répertoriées une page annexe. Seules les échances du mois sont indiquées ici.

Date Intitulé
Décembre 15 Programme Asgard : session printemps 2008 - collaboration France - Norvège
IUF : appel à candidature
18 AUF : bourses de thèse et post-doctorales - dans la Francophonie.

Archives de LaBRI-Hebdo

Envoi de critiques, suggestions, articles et informations à : LaBRI-Hebdo@labri.fr (au plus tard le jeudi à 22h).
Abonnement et désabonnement sur simple demande auprès de la rédaction.

Valid HTML 4.01 Transitional