Mardi 11 février 2014
Bonne lecture !
Lundi 10 | ||
---|---|---|
14h00-15h00 | Salle 178 | GT Algorithmique Distribuée : Lélia Blin (LIP6 - UPMC) Algorithmes auto-stabilisants barvards |
Jeudi 13 | ||
11h00-12h00 | Salle 205, bât A29 | GT Modélisation et Vérification : Emmanuel Fleury (LaBRI) Binary Analysis: Theory and Practice |
Vendredi 14 | ||
13h00-14h00 | Salle Ada Lovelace, bât Inria | Unithé ou Café : François Pellegrini (LaBRI) Droit des logiciels |
14h15-15h15 | Salle 178 | GT Graphes et Applications : Nicolas Delfosse (LIX) Une introduction au calcul quantique tolerant aux fautes |
Voir aussi le programme des JCB.