Ecole Jeunes Chercheureuses en Informatique Fondamentale et ses Mathématiques - Sciencesconf.org

Semaine Lun. 16 Mar. 17 Mer. 18 Jeu. 19 Ven. 20 Liste

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

CNRS

CCSD

Sciencesconf