7–10 juin 2021
En Ligne
Fuseau horaire Europe/Paris

Programme Scientifique

  • 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