Ecole Jeunes Chercheuses et Chercheurs en Informatique Mathématique

›8:30 (2h)

De l'échantillonage adaptatif à la résolution de jeux
Emilie Kaufmann

›10:30 (15min)

Pause café

›10:45 (2h)

De l'échantillonage adaptatif à la résolution de jeux
Nathanaël Fijalkow

›14:00 (30min)

Bel-Games: A Formal Theory of Games of Incomplete Information Based on Belief Functions in the Coq Proof Assistant
Hélène Fargier, Érik Martin-Dorel, Pierre Pomeret-Coquot

›14:30 (30min)

Cellular automata and substitutions in topological spaces defined via edit distances
Firas Ben Ramdhane

›15:00 (30min)

MDDs Boost Equation Solving on Discrete Dynamical Systems
Sara Riva

›15:30 (30min)

Formalisations des futures et promesses en VIPER
Loïc Germerie Guizouarn

›16:00 (15min)

Pause café

›16:15 (30min)

Quantitative algebraic characterizations on truly infinite words
Rémi Morvan

›16:45 (30min)

Locality and Approximation in Quantum Annealing
Arthur Braida

›17:15 (30min)

A bit of topology in geometrical tilings
Victor Lutfalla

›17:45 (15min)

Pause

›18:00 (1h30)

Carrière académique
Brigitte Vallée