|
lundi 16 juin 2025
| Heures | événement | |
| 09:30 - 10:00 | Accueil + café | |
| 10:00 - 11:00 | Combinatoire énumérative via les diagrammes de cordes - Julien Courtiel | |
| 11:00 - 11:30 | La séquence de Kolakoski, ou comment plonger dans la combinatoire des mots - Raphaël Henry | |
| 11:30 - 12:00 | Jeu de Dominos à 2 joueurs - Rémi PALLEN | |
| 13:00 - 14:30 | Sémantique dénotationnelle et sémantique des jeux - Pierre Clairambault | |
| 14:30 - 15:00 | Pause café | |
| 15:00 - 16:00 | Sémantique dénotationnelle et sémantique des jeux - Pierre Clairambault | |
| 16:00 - 16:30 | A Simple Algorithm for Worst Case Optimal Join and Sampling - Oliver Irwin | |
| 16:30 - 17:00 | CSP raffiné sur les complexes d'amas - Lucas Pouillart |
mardi 17 juin 2025
| Heures | événement | |
| 08:30 - 09:30 | Combinatoire énumérative via les diagrammes de cordes - Julien Courtiel | |
| 09:30 - 10:00 | Pause café | |
| 10:00 - 12:00 | Évaluation symbolique-numérique : la probabilité de collision - Mioara Joldes | |
| 13:00 - 14:30 | Évaluation symbolique-numérique : la probabilité de collision - Mioara Joldes | |
| 14:30 - 15:00 | Pause café | |
| 15:00 - 16:30 | Combinatoire énumérative via les diagrammes de cordes - Julien Courtiel |
mercredi 18 juin 2025
| Heures | événement | |
| 08:30 - 09:30 | Sémantique dénotationnelle et sémantique des jeux - Pierre Clairambault | |
| 09:30 - 10:00 | Pause café | |
| 10:00 - 11:00 | L’informatique quantique et le ZX - Miriam Backens | |
| 11:00 - 11:30 | Algèbres tridendriformes, arbres de Schroeder et algèbre de Hopf - Pierre Catoire | |
| 11:30 - 12:00 | Middle orders: all distributive between weak and Bruhat order - Ludovic Schwob | |
| 13:00 - 18:00 | Activité Culturelle ou Sportive - TBA | |
| 20:00 - 23:00 | Repas de conférence - Le repas de conférence aura lieu au restaurant "L'aromate" |
jeudi 19 juin 2025
| Heures | événement | |
| 08:30 - 09:30 | L’informatique quantique et le ZX - Miriam Backens | |
| 09:30 - 10:00 | Pause café | |
| 10:00 - 11:00 | Introduction à la compilation de connaissances - Bruno Zanuttini | |
| 11:00 - 12:00 | Comment candidater aux postes d'EC/C | |
| 13:00 - 14:30 | L’informatique quantique et le ZX - Miriam Backens | |
| 14:30 - 15:00 | Pause café | |
| 15:00 - 15:30 | Représentation graphique d'un invariant de conjugaison pour les systèmes dynamiques discrets - Vivien Ducros | |
| 15:30 - 16:00 | A hybrid and reversible quantum language - Thomas Vinet |
vendredi 20 juin 2025
| Heures | événement | |
| 08:30 - 09:30 | Introduction à la compilation de connaissances - Bruno Zanuttini | |
| 09:30 - 10:00 | Pause café | |
| 10:00 - 11:30 | Introduction à la compilation de connaissances - Bruno Zanuttini |
|
|