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

Scientific Program

Quantique

QUA

Algorithmes quantiques de base
Introduction aux codes correcteurs quantiques
Programmation quantique pratique

Calcul Formel

CF

Computer algebra for lattice path combinatorics
Matrices polynomiales : accélérer et exploiter leur algorithmique

Cryptographie

CRY

Cryptographie post-quantique: alternatives et enjeux
Preuves Implicites

Verification Formelle

VF

Analyse symbolique de protocoles cryptographiques, modélisation
logique, et algorithme de vérification

Présentations Doctorants

Pres