Programme
| Heures |
événement |
(+)
|
|
08:30 - 10:15
|
Introduction à l'intelligence artificielle et aux modèles génératifs - Serena Villata |
|
|
10:15 - 10:30
|
Pause café |
|
|
10:30 - 12:15
|
Introduction à l'intelligence artificielle et aux modèles génératifs - 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
|
Système expert pour la sélection de l'algorithme d'auto-reconfiguration des robots modulaires - Baptiste Buchi |
|
|
15:30 - 16:00
|
Visual xAI techniques - Caroline Mazini Rodrigues, Laurent Najman, Nicolas Boutry |
|
|
16:00 - 16:15
|
Pause café |
|
| Heures |
événement |
(+)
|
|
08:30 - 10:30
|
De l'échantillonage adaptatif à la résolution de jeux - Emilie Kaufmann |
|
|
10:30 - 10:45
|
Pause café |
|
|
10:45 - 12:45
|
De l'échantillonage adaptatif à la résolution de jeux - 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
|
Pause café |
|
|
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
|
Pause |
|
|
18:00 - 19:30
|
Carrière académique - Brigitte Vallée |
|
| Heures |
événement |
(+)
|
|
08:30 - 10:15
|
Calculabilité dans les systèmes dynamiques discrets - Enrico Formenti |
|
|
10:15 - 10:45
|
Pause café |
|
|
10:45 - 12:30
|
Quelques propriétés des champs de vecteurs génériques - Ludovic Rifford |
|
|
14:00 - 16:00
|
Analyse cognitive des pensées (Conférence/Atelier) - Alain Finkel |
|
|
16:00 - 16:15
|
Pause café |
|
|
16:15 - 17:45
|
Comment présenter sa candidature dans les sections 25 et 27 du CNU - Christophe Papazian et Séverine Rigot |
|
|
19:30 - 22:30
|
Banquet à la "Brasserie l'Union" |
|
| Heures |
événement |
(+)
|
|
08:30 - 10:00
|
Le calcul numérique - Nicolas Ollinger |
|
|
10:00 - 10:15
|
Pause café |
|
|
10:15 - 12:45
|
Le calcul analogique - Olivier Bournez |
|
|
14:00 - 16:00
|
Analyse cognitive des émotions (Conférence/Atelier) - Alain Finkel |
|
| Heures |
événement |
(+)
|
|
08:30 - 10:30
|
Aléatoire algorithmique - Andrei Romashchenko |
|
|
10:30 - 10:45
|
Pause café |
|
|
10:45 - 12:45
|
Les structures algébriques de l'aléatoire, du classique au quantique - Raphaël Chetrite et Frédéric Patras |
|
|
14:00 - 18:00
|
Chasse au Trésor - Une chasse au trésor est organisée par l'Association des Doctorants en Sciences et Technologies de l'Information et de la Communication pour faire découvrir la ville de Nice aux participants de l'EJCIM. |
|
|
