Laboratoire Bordelais de Recherche en Informatique

LaBRI-Hebdo 180

Vendredi 27 juin 2008

Dernier numéro de la rédaction actuelle

A l'occasion de ce dernier numéro de la rédaction actuelle, nous tenons à remercier ceux qui nous ont fait confiance dans la gestion de cet hebdomadaire, et ceux qui l'ont aidé en alimentant les flux d'information. Nous avons de notre mieux essayé de diversifier au cours du temps ces flux d'information entrants et de vous en relayer un maximum. Nous espérons que cela vous aura été utile.

A l'heure où ce dernier numéro se prépare, nous n'avons encore hélas personne pour prendre la suite. Nous espérons que LaBRI-hebdo sera toujours là pour la rentrée universitaire.

Bonne lecture et Bonne vacances

Actualités locales

Sidérion Technologies, issue de l'équipe-projet Phoenix, a reçu le prix régional du "Transfert de technologie" le 11 juin 2008 au cours de la 2° édition d'Innovaday. Ce prix vise à récompenser une entreprise aquitaine qui présente une collaboration technologique innovante avec un laboratoire de recherche public.
Siderion Technologies propose une solution de routage intelligent d'appels téléphoniques qui repose sur une technologie issue de l'équipe-projet Phoenix.

La 2ème édition du Colloque international L'Université à l'ère du numérique aura lieu du 10 au 12 décembre 2008, au Palais des congrès de Bordeaux. La date limite de soumission des propositions est fixée au 15 septembre 2008.

Actualités des institutions

Semainier, du 30 juin au 4 juillet

Jour Horaire Lieu Intitulé
Lundi 14h00-15h00 LaBRI 178 GdT Algorithmique Distribuée : Nasser Saheb-Djahromi
Analysis of two randomized algorithms for maximal matching
Mercredi 09h00-12h00 LaBRI 178 Conseil Scientifique
Jeudi 11h00-12h15 LaBRI 076 GdT Modélisation et Verification : Jean-Christophe Filliâtre (LRI, Université Paris Sud)
Utilisation de prouveurs SMT pour la preuve de programmes
12h00-12h15 LaBRI 076 GdT Modélisation et Verification : Sylvain Conchon (LRI, Université Paris Sud)
Vérification de propriétés de programmes avec Alt-Ergo
14h00-15h00 LaBRI Amphi Séminaire du LaBRI : Claire Mathieu (Brown University)
Théorie algorithmique des jeux et enchères combinatoires

Vie pratique

Échéancier

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

Date Intitulé
Juin 30 EGIDE-PHC : Egypte
Juillet 7 EGIDE-PHC : Tunisie
9 ANR : ARP - "Outils de Recherche et Santé Publique"
18 EGIDE-PHC : Chine
24 FP7-SCIENCE-IN-SOCIETY-2008-3 : Innovation en matière d'éducation scientifique

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