09:00
10:00
11:00
12:00
13:00
14:00
15:00
16:00
17:00
18:00
›9:00 (30min)
9:00 - 9:30 (30min)
Accueil café
›9:30 (1h)
9:30 - 10:30 (1h)
Keynote talk : Distributed Problems: Concurrent Specifications beyond Binary Relations
Sergio Rajsbaum
https://jnim2023.sciencesconf.org/data/program/Rajsbaum.pdf›10:30 (30min)
10:30 - 11:00 (30min)
Pause café
›11:00 (45min)
11:00 - 11:45 (45min)
GT Bioss : Coupling and synchronization dynamics among biological oscillators
Madalena Chaves
›11:45 (45min)
11:45 - 12:30 (45min)
GT MM : Une histoire inachevée de la tomographie discrète
Yan Gérard
12:30 - 14:00 (1h30)
Buffet déjeuner
Hall de l'amphi Buffon
›13:30 (4h30)
13:30 - 18:00 (4h30)
ANNULATION DE LA 1/2 JOURNEE "ASSISTANTS DE PREUVE"
14:00 - 14:00 ()
[Annulé] Ouverture de la demi-journée sur les assistants de preuve
›14:00 (1h)
14:00 - 15:00 (1h)
[Annulé] Keynote talk : Assistants de Preuves : retour sur le pourquoi et le comment
Christine Paulin
›15:00 (50min)
15:00 - 15:50 (50min)
[Annulé] Des fondements théoriques des assistants de preuves aux choix d'implémentation: Dans les Boyaux de mon Noyau
Pierre-Marie Pédrot
›15:50 (30min)
15:50 - 16:20 (30min)
[Annulé] Pause café
›16:20 (50min)
16:20 - 17:10 (50min)
[Annulé] Formalisation des mathématiques: Bibliothèques numériques de mathématiques formalisées
Assia Mahboubi
›17:10 (50min)
17:10 - 18:00 (50min)
[Annulé] Table ronde enseignement
