LaBRI-Hebdo 290

Lundi 27 juin 2011

Bonne lecture !

Actualités locales

  • Webmestre du LaBRI : Le LaBRI souhaite proposer, comme lors des deux précédentes campagnes, un contrat 2011-2012 de niveau 2 pour un doctorant, composé d'un demi-service d'enseignement (32 h donc) couplé avec une activité de webmestre pour le laboratoire.
    Les candidats doivent en faire état lors du dépôt de leur dossier de candidature à l'école doctorale (fiche "activités envisagées" : cocher "enseignement" et "diffusion de l'information scientifique et technique", en incluant "1/2 enseignement, 1/2 webmestre LaBRI" dans la zone description).
    Merci également d'en informer direction@labri.fr.

Actualités des institutions

  • ANR
    • Appel à projets FLASH Japon, pour promouvoir les recherches urgentes liées à la catastrophe japonaise du 11 mars 2011 (depuis l’analyse de l’évènement sous tous ses aspects, jusqu’aux leçons à retenir en termes de prévention, mais en excluant tous les sujets relatifs à l’industrie et la sûreté nucléaire). Date limite de soumission : 18 juillet 2011.
  • CNRS
    • La dernière lettre de la délégation régionale Aquitaine-Limousin est parue.
  • École Doctorale
    • L'école doctorale rappelle qu'elle a pour vocation de financer les doctorants pour les activités liées à la formation : cours, école jeunes chercheurs, visite dans un laboratoire étranger. D'autre part, l'école doctorale n'est pas riche: environ 20 K€ pour 200 doctorants pour l'année 2011.
      Concernant les financements de doctorants en conférences et les jurys de thèse, l'usage est :
      • que le directeur de thèse ou le cas échéant, son thème/équipe finance le doctorant ;
      • s'il n'y a pas de possibilité de financement au sein de l'équipe, le LaBRI possède un budget "mission", géré par Yves Métivier. Le directeur de thèse fait une demande pour son doctorant. Pour un jury de thèse, le LaBRI finance jusqu'à 2 membres de jury extérieurs.

Semainier (du 27 juin au 4 juillet)

Lundi 27
14h00-16h00Amphi LaBRISoutenance de thèse d'Alexander Heußner
Vers la vérification de propriétés de sûreté pour des systèmes infinis communicants: décidabilité & raffinement des abstractions
Mardi 28
11h00-12h00Amphi LaBRIGT Graphes et Logique : Bruno Courcelle (LaBRI)
Représentation de relations par des fonctions unaires; Vérification de propriétés au moyen d'étiquettes
Jeudi 30
11h30-12h30Salle 076GT Modélisation et Vérification : Amélie Stainer (INRIA Rennes)
A game approach to determinize timed automata
11h00-12h30Amphi LaBRIGT BioInformatique et Visualisation : Antoine Lambert (LaBRI)
Pathway Preserving Representation of Metabolic Networks
Vendredi 1
10h45-11h45Salle 076GT Combinatoire Énumérative : Gábor Hetyei (UNC Charlotte)
Les jeux du type Bernoulli et un nouveau type de formules en combinatoire énumérative
Lundi 4
14h00-15h00Salle 178GT Algorithmique Distribuée : Zohir Bouzid (LIP 6)
Robot Networks with Homonyms: The Case of Patterns Formation

Divers

  • La Fondation EADS organise un prix de la meilleure thèse 2011 pour les thèses soutenues entre le 1 juin 2010 et le 30 juin 2011. La date limite de dépôt est le 18 juillet.
Page mise à jour le 03/10/2011 à 14:35