Programme
Pauses café, buffets, repas, cocktails, posters ont lieu en salle F003-F004. L'ouverture des journées et tous les exposés ont lieu en amphi D.
Lundi 18 janvier | ||
12h-13h | accueil buffet | |
13h-13h15 | Ouverture des journées | |
13h15-14h15 | Invité: Javier EsparzaStochastic Process Creation (SLIDES) | |
14h15-15h | Elham KashefiQuantum Verification (SLIDES) | |
15h-15h30 | Pause café | |
15h30-16h15 | Nicolas BonichonQuelques résultats sur les spanners géométriques (SLIDES) | |
16h15-17h | Emmanuel Jeandel An aperiodic tiling using only 11 different Wang tiles (SLIDES) | |
17h-17h45 | Viviane PonsDes relations binaires au treillis de Tamari (SLIDES) | |
17h45-19h15 | Posters et cocktail | |
Mardi 19 janvier | ||
9h30-10h30 | Invité: Francisco Santos LealDiameters of polyhedra and simplicial complexes (SLIDES) | |
10h30-11h | Pause café | |
11h-11h45 | Christian GentilLes objets fractales : de la conception à la fabrication (SLIDES) | |
11h45-12h30 | Christophe NegreApproaches for RSA and (Hyper)elliptic Curve Cryptosystems Resistant to Simple Power Analysis (SLIDES) | |
12h30-14h | Repas | |
14h-15h | Invitée: Véronique CortierVote électronique : la logique à la rescousse (SLIDES) | |
15h-15h45 | Delphine DemangeMechanized Verification of SSA-based Compilers Techniques (SLIDES) | |
15h45-16h15 | Pause café | |
16h15-17h | Adrien RichardPoints fixes et cycles de rétroaction dans les réseaux booléens (SLIDES) | |
17h-18h | informations et discussion sur le GDR, intervention de Jean Mairesse, dir. adj. scientifique à l'INS2I | |
18h-19h30 | Posters et cocktail | |
19h30-20h30 | Réunion des responsables de GT | salle B 107 |
Mercredi 20 janvier | ||
9h30-10h30 | Invité: Joachim von zur GathenCombinatorics on polynomial equations: do they describe nice varieties? (SLIDES) | |
10h30-11h | Pause café | |
11h-11h45 | Alain CouvreurCryptographie basée sur les codes correcteurs (SLIDES) | |
11h45-12h30 | Patrick BaillotImplicit Computational Complexity of Subrecursive Functional Programs, with Applications to Cryptographic Proofs (SLIDES) | |
12h30-14h30 | Repas | |
14h30-15h15 | Pierre CalkaEnveloppe convexe de points aléatoires (SLIDES) | |
15h15-16h | Hélène TouzetAlgorithmique des structures d'ARN (SLIDES) | |
16h30 | Remise de la Légion d'honneur à Brigitte Vallée | salle F003-F004 |