EJCIM2022 : École Jeunes Chercheuses et Chercheurs en Informatique Mathématique

7-11 juin 2022 Nice (France)

FR EN

Programme

Semaine Mar. 07 Mer. 08 Jeu. 09 Ven. 10 Sam. 11 Liste

‹ mercredi 8 juin 2022 ›

08:00

09:00

10:00

11:00

12:00

13:00

14:00

15:00

16:00

17:00

18:00

19:00

›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

Session

Discours

Logistique

Pause

Sortie

Personnes connectées : 2

Vie privée