LaBRI-Hebdo 233

Lundi 8 mars 2010

Bonne lecture !

Actualités locales

  • Journées scientifiques MI. L'UFR organise des journées scientifiques de Mathématiques et Informatique les 1er et 2 juillet 2010 à l'AGORA et invite l'ensemble des collègues à y participer.

Actualités des institutions

  • ANR
    • L'ANR vient de mettre en place un portail global pour faciliter les collaborations entre entreprises et recherche publique.
    • Rappel : l'ensemble des appels à projets de l'ANR est en ligne.
  • CNRS
    • La dernière lettre de la délégation régionale Aquitaine-Limousin est parue. Avec notamment :
      • Campagne PICS 2010. Le PICS, Projet international de coopération scientifique, d’une durée de 3 ans non renouvelable, résulte d’une collaboration suivie avec un partenaire étranger ayant déjà donné lieu à des publications communes. Les projets scientifiques doivent être déposés avant le 31 mars 2010 auprès de l’institut du CNRS concerné.
      • Le numéro de mars du Journal du CNRS est paru avec un supplément intitulé "Le long chemin vers l’égalité" à l‘occasion du centenaire de la journée internationale des femmes.
      • Une étude sur les métiers de l'informatique dans les laboratoires de recherche (2009) est disponible en ligne.
  • Egide
    • De nouveaux appels à candidatures PHC sont disponibles sur le site d'Egide (Algérie, Slovénie, République Tchèque, Tunisie, Chypre, Suisse, Allemagne, Autriche, Taïwan, Lituanie, Norvège, Thaïlande, Pays Bas). Les dates limites des différents appels sont répertoriées dans l'échéancier.
  • Ministère

Semainier, du 8 au 12 mars

Lundi 8
14h00-15h00178GT Algorithmique Distribuée : Colette Johnen
Des algorithmes auto-stabilisants - suite -
Mardi 9
11h00-12h00076GT Graphes et Logiques : Alexander Kartzow (TU Darmstadt)
Collapsible Pushdown Graphs of Level 2 are Tree-Automatic
Jeudi 11
11h30-12h45076GT Modélisation et Vérification : Johannes Kinder (TU Darmstadt)
Static Analysis of x86 Executables
Vendredi 12
10h45-11h45076GT Combinatoire Énumérative : Mathilde Bouvel (LIAFA)
Motifs et classes de permutations : le point de vue des arbres de décomposition
14h00-15h00178GT Graphes et Applications : Petru Valicov (LaBRI)
Interval graphs and packing problem
Page mise à jour le 10/03/2010 à 16:51