LaBRI-Hebdo 180
Vendredi 27 juin 2008
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
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.
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 |
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 |
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.