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

from Monday, 7 June 2021 (10:00) to Thursday, 10 June 2021 (14:00)
En Ligne

        : Sessions
    /     : Talks
        : Breaks
7 Jun 2021
8 Jun 2021
9 Jun 2021
10 Jun 2021
AM
10:00
Quantique -Dr François Arnault (Université de Limoges) (until 11:15) ()
10:00 Algorithmes quantiques de base - Dr François Arnault (Université de Limoges)   ()
10:00
Calcul Formel -Dr Alin Bostan (Inria) (until 11:15) ()
10:00 Computer algebra for lattice path combinatorics - Dr Alin Bostan (Inria)   ()
09:00
Présentations Doctorants (until 10:00) ()
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 -Prof. Philippe Gaborit (Université de Limoges) (until 11:15) ()
10:00 Cryptographie post-quantique: alternatives et enjeux - Prof. Philippe Gaborit (Université de Limoges)   ()
09:30
Présentations Doctorants - Olivier Blazy (until 09:55) ()
09:30 Algorithmes de fractions continues multidimensionnelle - Dr Mélodie Andrieu-Estevez (Institut de Mathématiques de Marseille)   ()
10:00
Verification Formelle -Dr Vincent Cheval (Inria) Dr Lucca Hirschi (Inria) (until 12:00) ()
10:00 Analyse symbolique de protocoles cryptographiques, modélisation logique, et algorithme de vérification - Dr Vincent Cheval (Inria) Dr Lucca Hirschi (Inria)   ()
PM
14:00
Quantique -Prof. Gilles Zemor (Université de Bordeaux) Prof. Philippe Gaborit (Université de Limoges) (until 15:15) ()
14:00 Introduction aux codes correcteurs quantiques - Prof. Gilles Zemor (Univeristé de Bordeaux)   ()
15:30
Quantique -Dr Simon Martiel (ATOS) (until 16:45) ()
15:30 Programmation quantique pratique - Simon Martiel (atos)   ()
14:00
Calcul Formel - Vincent Neiger (until 15:15) ()
14:00 Matrices polynomiales : accélérer et exploiter leur algorithmique - Dr Vincent Neiger (Université de Limoges)   ()
15:30
Présentations Doctorants (until 17:10) ()
15:30 Algorithme de dénombrement de points fixes - Mr 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)   ()
13:00
Cryptographie - Olivier Blazy (until 14:15) ()
13:00 Preuves Implicites - Olivier Blazy   ()
14:30
Syndrome de l'imposture -Dr Natacha Portier (Ens-Lyon) (until 16:30) ()
14:30 Atelier sur le syndrome d'imposture - Natacha Portier (ENS Lyon)   ()