Programme
| 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 |
|
| 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 |
|
| 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" |
|
| 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 |
|
| 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 |
|
|
Chargement... 
