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

7-11 juin 2022 Nice (France)

FR EN

Une intervention sur la base de données est programmée jeudi 24 avril entre 11h00 et 12h00.
Elle peut occasionner des perturbations sur Sciencesconf.

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 : 2

Vie privée | Accessibilité