mardi 4 avril 2023
| Heures | événement | (+) |
| 13:30 - 13:50 | Accueil | |
| 13:50 - 14:00 | Ouverture des journées | |
| 14:00 - 15:00 | Keynote talk: Pavages par dominos - Sylvie Corteel |
|
| 15:00 - 15:30 | Pause café | |
| 15:30 - 16:30 | Session Posters I (Hall de l'amphi Buffon) |
|
| 16:30 - 17:15 | GT Verif : Vérifier des systèmes paramétrés: les réseaux communiquant par rendez-vous non bloquants - Tali Sznajder |
|
| 17:15 - 18:00 | GT C2 : Secure computation: protecting the privacy of sensitive data used in distributed computations - Geoffroy Couteau |
|
mercredi 5 avril 2023
| Heures | événement | (+) |
| 09:00 - 09:30 | Accueil café | |
| 09:30 - 10:30 | Keynote talk: On lightweight cryptography - Joan Daemen |
|
| 10:30 - 11:00 | Pause café | |
| 11:00 - 11:45 | GT Scalp : De la programmation fonctionnelle à l'analyse fonctionnelle. - Marie Kerjean |
|
| 11:45 - 12:30 | GT Graphes : Algorithmes d’énumération dans les graphes - Aurélie Lagoutte |
|
| 12:30 - 14:00 | Buffet déjeuner (Hall de l'amphi Buffon) | |
| 14:00 - 14:45 | GT Calcul Formel : Démonstration automatique d'identités binomiales multiples - Pierre Lairez |
|
| 14:45 - 15:15 | Pause café | |
| 15:15 - 16:15 | Session Posters II (Hall de l'amphi Buffon) |
|
| 16:15 - 17:00 | GT Alea : Probabilités de fuite pour des marches aléatoires singulières dans des cônes - Kilian Raschel |
|
| 17:00 - 17:10 | 50 ans de l'EPIT - Michele Pagani | |
| 17:10 - 18:30 | AG du GDR-IM en présence d'Olivier Serre | |
| 19:30 - 22:00 | Cocktail (Grand Hall 12, rue de l’École de Médecine) |
jeudi 6 avril 2023
| Heures | événement | (+) |
| 09:00 - 09:30 | Accueil café | |
| 09:30 - 10:30 | Keynote talk : Distributed Problems: Concurrent Specifications beyond Binary Relations - Sergio Rajsbaum |
|
| 10:30 - 11:00 | Pause café | |
| 11:00 - 11:45 | GT Bioss : Coupling and synchronization dynamics among biological oscillators - Madalena Chaves |
|
| 11:45 - 12:30 | GT MM : Une histoire inachevée de la tomographie discrète - Yan Gérard |
|
| 12:30 - 14:00 | Buffet déjeuner (Hall de l'amphi Buffon) | |
| 13:30 - 18:00 | 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 - 15:00 | [Annulé] Keynote talk : Assistants de Preuves : retour sur le pourquoi et le comment - Christine Paulin | |
| 15:00 - 15:50 | [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 - 16:20 | [Annulé] Pause café | |
| 16:20 - 17:10 | [Annulé] Formalisation des mathématiques: Bibliothèques numériques de mathématiques formalisées - Assia Mahboubi | |
| 17:10 - 18:00 | [Annulé] Table ronde enseignement |
vendredi 7 avril 2023
| Heures | événement | (+) |
| 09:00 - 09:30 | Accueil café | |
| 09:30 - 10:30 | Keynote talk : Vector Addition Systems Reachability Problem - Jérôme Leroux |
|
| 10:30 - 11:00 | Pause café | |
| 11:00 - 11:45 | GT CombAlg : De la diagonale du permutoèdre aux arbres k-colorés : une histoire de partitions et d'arbres - Bérénice Delcroix-Oger |
|
| 11:45 - 12:30 | GT SDA2 : Un argument de comptage simple appliqué à l'entropie des pavages - Matthieu Rosenfeld |
|
