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
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 |
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.
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. |
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.