Planning

Week Tue. 07 Wed. 08 Thu. 09 Fri. 10 Sat. 11 List

	Tue. 07	Wed. 08	Thu. 09	Fri. 10	Sat. 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 to artificial intelligence and generative models 8:30 - 10:15 (1h45) Introduction to artificial intelligence and generative models Serena Villata Coffee break 10:15 - 10:30 (15min) Coffee break Introduction to artificial intelligence and generative models 10:30 - 12:15 (1h45) Introduction to artificial intelligence and generative models 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 Expert system for the selection of the algorithm for self-reconfiguration of modular robots 15:00 - 15:30 (30min) Expert system for the selection of the algorithm for self-reconfiguration of modular robots Baptiste Buchi Visual xAI techniques 15:30 - 16:00 (30min) Visual xAI techniques Caroline Mazini Rodrigues, Laurent Najman, Nicolas Boutry Coffee break 16:00 - 16:15 (15min) Coffee break	From adaptive sampling to game solving 8:30 - 10:30 (2h) From adaptive sampling to game solving Emilie Kaufmann Coffee break 10:30 - 10:45 (15min) Coffee break From adaptive sampling to game solving 10:45 - 12:45 (2h) From adaptive sampling to game solving 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 Coffee break 16:00 - 16:15 (15min) Coffee break 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 Break 17:45 - 18:00 (15min) Break Academic career 18:00 - 19:30 (1h30) Academic career Brigitte Vallée	Computability in discrete dynamical systems 8:30 - 10:15 (1h45) Computability in discrete dynamical systems Enrico Formenti Coffee break 10:15 - 10:45 (30min) Coffee break Some properties of generic vector fields 10:45 - 12:30 (1h45) Some properties of generic vector fields Ludovic Rifford Cognitive analysis of thoughts (Speech/Workshop) 14:00 - 16:00 (2h) Cognitive analysis of thoughts (Speech/Workshop) Alain Finkel Coffee break 16:00 - 16:15 (15min) Coffee break How to apply to CNU sections 25 and 27 16:15 - 17:45 (1h30) How to apply to CNU sections 25 and 27 Christophe Papazian et Séverine Rigot Banquet at the "Brasserie l'Union" 19:30 - 22:30 (3h) Banquet at the "Brasserie l'Union"	Numerical calculus 8:30 - 10:00 (1h30) Numerical calculus Nicolas Ollinger Coffee break 10:00 - 10:15 (15min) Coffee break Analogous calculus 10:15 - 12:45 (2h30) Analogous calculus Olivier Bournez Cognitive analysis of emotions (Speech/Workshop) 14:00 - 16:00 (2h) Cognitive analysis of emotions (Speech/Workshop) Alain Finkel	Algorithmic randomness 8:30 - 10:30 (2h) Algorithmic randomness Andrei Romashchenko Coffee break 10:30 - 10:45 (15min) Coffee break Algebraic structures of randomness, from classical to quantum 10:45 - 12:45 (2h) Algebraic structures of randomness, from classical to quantum Raphaël Chetrite et Frédéric Patras Treasure Hunt 14:00 - 18:00 (4h) Treasure Hunt

Online user: 1

Privacy