Name: L’École de Jeunes Chercheurs en Informatique Mathématique 2021
Start: 2021-06-07T10:00:00+02:00
End: 2021-06-10T14:00:00+02:00
Location: En Ligne

L’École de Jeunes Chercheurs en Informatique Mathématique 2021

de lundi 7 juin 2021 (10:00) à jeudi 10 juin 2021 (14:00)

lundi 7 juin 2021
10:00 Algorithmes quantiques de base
Algorithmes quantiques de base
10:00 - 11:15
Contributions

10:00 Algorithmes quantiques de base - François Arnault (Université de Limoges)
14:00 Introduction aux codes correcteurs quantiques
Introduction aux codes correcteurs quantiques
14:00 - 15:15
Contributions

14:00 Introduction aux codes correcteurs quantiques - Gilles Zemor (Univeristé de Bordeaux)
15:30 Programmation quantique pratique
Programmation quantique pratique
15:30 - 16:45
Contributions

15:30 Programmation quantique pratique - Simon Martiel (atos)
mardi 8 juin 2021
10:00 Computer algebra for lattice path combinatorics
Computer algebra for lattice path combinatorics
10:00 - 11:15
Contributions

10:00 Computer algebra for lattice path combinatorics - Alin Bostan (Inria)
14:00 Matrices polynomiales : accélérer et exploiter leur algorithmique
Matrices polynomiales : accélérer et exploiter leur algorithmique
14:00 - 15:15
Contributions

14:00 Matrices polynomiales : accélérer et exploiter leur algorithmique - Vincent Neiger (Université de Limoges)
15:30 Présentations Etudiants 1
Présentations Etudiants 1
15:30 - 17:10
Contributions

15:30 Algorithme de dénombrement de points fixes - Charles Balthazar

15:55 On the Besicovitch-Stability of Noisy Random Tilings - Léo Gayral (Université de Toulouse)

16:20 Asymptotic probability of connected labeled objects and virtual species - Khaydar Nurligareev (Université Paris 13)

16:45 Construction de coloriages de produits de groupes en dynamique symbolique - Sacha Huriot (ENS Paris Scalay)
mercredi 9 juin 2021
09:00 Présentations Doctorants 2
Présentations Doctorants 2
09:00 - 10:00
Contributions

09:00 Aperiodic Subshifts of Finite Type on Baumslag-Solitar Groups - Julien Esnay (ENS-Lyon)

09:25 Augmented Broadcast Encryption with constant size ciphertext, from standard assumption - Anaïs Barthoulot (Orange)
10:00 Cryptographie post-quantique: alternatives et enjeux
Cryptographie post-quantique: alternatives et enjeux
10:00 - 11:15
Contributions

10:00 Cryptographie post-quantique: alternatives et enjeux - Philippe Gaborit (Université de Limoges)
13:00 Preuves Implicites
Preuves Implicites
13:00 - 14:15
Contributions

13:00 Preuves Implicites - Olivier Blazy
14:30 Syndrome de l'imposture
Syndrome de l'imposture
14:30 - 16:30
Contributions

14:30 Atelier sur le syndrome d'imposture - Natacha Portier (ENS Lyon)
jeudi 10 juin 2021
09:30 Présentations Doctorants 3
Présentations Doctorants 3
09:30 - 09:55
Contributions

09:30 Algorithmes de fractions continues multidimensionnelle - Mélodie Andrieu-Estevez (Institut de Mathématiques de Marseille)
10:00 Analyse symbolique de protocoles cryptographiques, modélisation logique, et algorithme de vérification
Analyse symbolique de protocoles cryptographiques, modélisation logique, et algorithme de vérification
10:00 - 12:00
Contributions

10:00 Analyse symbolique de protocoles cryptographiques, modélisation logique, et algorithme de vérification - Lucca Hirschi (Inria) Vincent Cheval (Inria)