Évènements
Rechercher un événement
19
May
Calculs impossibles et calculs difficiles (2)
Rémy Cerda (I2M, Aix-Marseille Université)
Avant même l'apparition des ordinateurs, on s'est demandé quels problèmes peuvent être résolus par des algorithmes. Ces questionnements ont fait apparaître plusieurs modèles de calcul, [...]
19
May
Univalence dans la catégorie des catégories
Félix Loubaton (Laboratoire J. A. Dieudonné, Nice)
En s'inspirant de la théorie des types homotopiques, on définira la notion d'univers et d'univalence dans la catégorie des catégories. On essayera ensuite de montrer [...]
A modular approach to OSIDH
Leonardo Colò (I2M, Aix-Marseille Université)
We recently defined an OSIDH protocol — for oriented supersingular isogeny Diffie-Hellman — by imposing the data of an orientation by an imaginary quadratic ring O on the category [...]
