GDR-IM

Journées nationales 2016

GDR Informatique Mathématique

18 - 20 Janvier 2016, Villetaneuse

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 Esparza
Stochastic Process Creation
(SLIDES)
14h15-15h Elham Kashefi
Quantum Verification (SLIDES)
15h-15h30 Pause café
15h30-16h15 Nicolas Bonichon
Quelques 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 Pons
Des relations binaires au treillis de Tamari (SLIDES)
17h45-19h15 Posters et cocktail
Mardi 19 janvier
9h30-10h30 Invité: Francisco Santos Leal
Diameters of polyhedra and simplicial complexes
(SLIDES)
10h30-11h Pause café
11h-11h45 Christian Gentil
Les objets fractales : de la conception à la fabrication (SLIDES)
11h45-12h30 Christophe Negre
Approaches for RSA and (Hyper)elliptic Curve Cryptosystems Resistant to Simple Power Analysis (SLIDES)
12h30-14h Repas
14h-15h Invitée: Véronique Cortier
Vote électronique : la logique à la rescousse
(SLIDES)
15h-15h45 Delphine Demange
Mechanized Verification of SSA-based Compilers Techniques (SLIDES)
15h45-16h15 Pause café
16h15-17h Adrien Richard
Points 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 Gathen
Combinatorics on polynomial equations: do they describe nice varieties?
(SLIDES)
10h30-11h Pause café
11h-11h45 Alain Couvreur
Cryptographie basée sur les codes correcteurs (SLIDES)
11h45-12h30 Patrick Baillot
Implicit Computational Complexity of Subrecursive Functional Programs, with Applications to Cryptographic Proofs (SLIDES)
12h30-14h30 Repas
14h30-15h15 Pierre Calka
Enveloppe convexe de points aléatoires (SLIDES)
15h15-16h Hélène Touzet
Algorithmique des structures d'ARN (SLIDES)
16h30 Remise de la Légion d'honneur à Brigitte Vallée salle F003-F004