Planning
| 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 |
|
| 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 |
|
| 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" |
|
| 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 |
|
| 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. |
|
|
