|
Horaire
|
Equipe
|
Etudiant
|
Sujet
|
|---|---|---|---|
| 10:00 ↦ 10:25 | AA | Rostan Tabet | Combining reactive synthesis and motion planning to control complex systems |
| 10:30 ↦ 10:55 | AA | Simon Scatton | SAT-Based learning for CTL formulas |
| 11:00 ↦ 11:25 | Image | Célien Aubry | Implémenter des capacités de perception basées sur la vision sur des robots d’exploration |
| 11:30 ↦ 11:55 | Secu | Younes Benreguieg | ???? |
| 16:00 ↦ 16:25 | IA | Elouan Vincent | Explicabilité des réseaux de neurones sur graphe au niveau des embeddings |
| 16:30 ↦ 17:55 | IA | Victor Miara | Self supervised learning for speaker verification |
| 17:00 ↦ 17:25 | IA | Noe Audemard | Détection d’usurpation d’identité dans l’audio |