|
Tuesday, June 7, 2022
| Time | Event | (+) |
| 08:30 - 10:15 | Introduction to artificial intelligence and generative models - Serena Villata | |
| 10:15 - 10:30 | Coffee break | |
| 10:30 - 12:15 | Introduction to artificial intelligence and generative models - Pierre-Alexandre Mattei | |
| 14:30 - 15:00 | A supervised learning approach for characterizing the presence of selective oxides on steel sheets through hyperspectral measurements - Tarek Zenati | |
| 15:00 - 15:30 | Expert system for the selection of the algorithm for self-reconfiguration of modular robots - Baptiste Buchi | |
| 15:30 - 16:00 | Visual xAI techniques - Caroline Mazini Rodrigues, Laurent Najman, Nicolas Boutry | |
| 16:00 - 16:15 | Coffee break |
Wednesday, June 8, 2022
| Time | Event | (+) |
| 08:30 - 10:30 | From adaptive sampling to game solving - Emilie Kaufmann | |
| 10:30 - 10:45 | Coffee break | |
| 10:45 - 12:45 | From adaptive sampling to game solving - Nathanaël Fijalkow | |
| 14:00 - 14:30 | 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 - 15:00 | Cellular automata and substitutions in topological spaces defined via edit distances - Firas Ben Ramdhane | |
| 15:00 - 15:30 | MDDs Boost Equation Solving on Discrete Dynamical Systems - Sara Riva | |
| 15:30 - 16:00 | Formalisations des futures et promesses en VIPER - Loïc Germerie Guizouarn | |
| 16:00 - 16:15 | Coffee break | |
| 16:15 - 16:45 | Quantitative algebraic characterizations on truly infinite words - Rémi Morvan | |
| 16:45 - 17:15 | Locality and Approximation in Quantum Annealing - Arthur Braida | |
| 17:15 - 17:45 | A bit of topology in geometrical tilings - Victor Lutfalla | |
| 17:45 - 18:00 | Break | |
| 18:00 - 19:30 | Academic career - Brigitte Vallée |
Thursday, June 9, 2022
| Time | Event | (+) |
| 08:30 - 10:15 | Computability in discrete dynamical systems - Enrico Formenti | |
| 10:15 - 10:45 | Coffee break | |
| 10:45 - 12:30 | Some properties of generic vector fields - Ludovic Rifford | |
| 14:00 - 16:00 | Cognitive analysis of thoughts (Speech/Workshop) - Alain Finkel | |
| 16:00 - 16:15 | Coffee break | |
| 16:15 - 17:45 | How to apply to CNU sections 25 and 27 - Christophe Papazian et Séverine Rigot | |
| 19:30 - 22:30 | Banquet at the "Brasserie l'Union" |
Friday, June 10, 2022
| Time | Event | (+) |
| 08:30 - 10:00 | Numerical calculus - Nicolas Ollinger | |
| 10:00 - 10:15 | Coffee break | |
| 10:15 - 12:45 | Analogous calculus - Olivier Bournez | |
| 14:00 - 16:00 | Cognitive analysis of emotions (Speech/Workshop) - Alain Finkel |
Saturday, June 11, 2022
| Time | Event | (+) |
| 08:30 - 10:30 | Algorithmic randomness - Andrei Romashchenko | |
| 10:30 - 10:45 | Coffee break | |
| 10:45 - 12:45 | Algebraic structures of randomness, from classical to quantum - Raphaël Chetrite et Frédéric Patras | |
| 14:00 - 18:00 | Treasure Hunt - A treasure hunt is organized by the ADSTIC to discover the city of Nice. |
|
|