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

	Mar. 07	Mer. 08	Jeu. 09	Ven. 10	Sam. 11
08:00 09:00 10:00 11:00 12:00 13:00 14:00 15:00 16:00 17:00 18:00 19:00 20:00 21:00 22:00	Introduction à l'intelligence artificielle et aux modèles génératifs 8:30 - 10:15 (1h45) Introduction à l'intelligence artificielle et aux modèles génératifs Serena Villata Pause café 10:15 - 10:30 (15min) Pause café Introduction à l'intelligence artificielle et aux modèles génératifs 10:30 - 12:15 (1h45) Introduction à l'intelligence artificielle et aux modèles génératifs Pierre-Alexandre Mattei A supervised learning approach for characterizing the presence of selective oxides on steel sheets through hyperspectral measurements 14:30 - 15:00 (30min) A supervised learning approach for characterizing the presence of selective oxides on steel sheets through hyperspectral measurements Tarek Zenati Système expert pour la sélection de l'algorithme d'auto-reconfiguration des robots modulaires 15:00 - 15:30 (30min) Système expert pour la sélection de l'algorithme d'auto-reconfiguration des robots modulaires Baptiste Buchi Visual xAI techniques 15:30 - 16:00 (30min) Visual xAI techniques Caroline Mazini Rodrigues, Laurent Najman, Nicolas Boutry Pause café 16:00 - 16:15 (15min) Pause café	De l'échantillonage adaptatif à la résolution de jeux 8:30 - 10:30 (2h) De l'échantillonage adaptatif à la résolution de jeux Emilie Kaufmann Pause café 10:30 - 10:45 (15min) Pause café De l'échantillonage adaptatif à la résolution de jeux 10:45 - 12:45 (2h) De l'échantillonage adaptatif à la résolution de jeux Nathanaël Fijalkow Bel-Games: A Formal Theory of Games of Incomplete Information Based on Belief Functions in the Coq Proof Assistant 14:00 - 14:30 (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 Cellular automata and substitutions in topological spaces defined via edit distances 14:30 - 15:00 (30min) Cellular automata and substitutions in topological spaces defined via edit distances Firas Ben Ramdhane MDDs Boost Equation Solving on Discrete Dynamical Systems 15:00 - 15:30 (30min) MDDs Boost Equation Solving on Discrete Dynamical Systems Sara Riva Formalisations des futures et promesses en VIPER 15:30 - 16:00 (30min) Formalisations des futures et promesses en VIPER Loïc Germerie Guizouarn Pause café 16:00 - 16:15 (15min) Pause café Quantitative algebraic characterizations on truly infinite words 16:15 - 16:45 (30min) Quantitative algebraic characterizations on truly infinite words Rémi Morvan Locality and Approximation in Quantum Annealing 16:45 - 17:15 (30min) Locality and Approximation in Quantum Annealing Arthur Braida A bit of topology in geometrical tilings 17:15 - 17:45 (30min) A bit of topology in geometrical tilings Victor Lutfalla Pause 17:45 - 18:00 (15min) Pause Carrière académique 18:00 - 19:30 (1h30) Carrière académique Brigitte Vallée	Calculabilité dans les systèmes dynamiques discrets 8:30 - 10:15 (1h45) Calculabilité dans les systèmes dynamiques discrets Enrico Formenti Pause café 10:15 - 10:45 (30min) Pause café Quelques propriétés des champs de vecteurs génériques 10:45 - 12:30 (1h45) Quelques propriétés des champs de vecteurs génériques Ludovic Rifford Analyse cognitive des pensées (Conférence/Atelier) 14:00 - 16:00 (2h) Analyse cognitive des pensées (Conférence/Atelier) Alain Finkel Pause café 16:00 - 16:15 (15min) Pause café Comment présenter sa candidature dans les sections 25 et 27 du CNU 16:15 - 17:45 (1h30) Comment présenter sa candidature dans les sections 25 et 27 du CNU Christophe Papazian et Séverine Rigot Banquet à la "Brasserie l'Union" 19:30 - 22:30 (3h) Banquet à la "Brasserie l'Union"	Le calcul numérique 8:30 - 10:00 (1h30) Le calcul numérique Nicolas Ollinger Pause café 10:00 - 10:15 (15min) Pause café Le calcul analogique 10:15 - 12:45 (2h30) Le calcul analogique Olivier Bournez Analyse cognitive des émotions (Conférence/Atelier) 14:00 - 16:00 (2h) Analyse cognitive des émotions (Conférence/Atelier) Alain Finkel	Aléatoire algorithmique 8:30 - 10:30 (2h) Aléatoire algorithmique Andrei Romashchenko Pause café 10:30 - 10:45 (15min) Pause café Les structures algébriques de l'aléatoire, du classique au quantique 10:45 - 12:45 (2h) Les structures algébriques de l'aléatoire, du classique au quantique Raphaël Chetrite et Frédéric Patras Chasse au Trésor 14:00 - 18:00 (4h) Chasse au Trésor

Personnes connectées : 1

Vie privée

Chargement...