Archives

Calendrier de Évènements

L lun

M mar

M mer

J jeu

V ven

S sam

D dim

0 évènement,

0 évènement,

0 évènement,

0 évènement,

0 évènement,

0 évènement,

0 évènement,

0 évènement,

1 évènement,

-

AG : Riccardo Brasca (IMJ-PRG) : Formalisation des mathématiques et l’assistant de preuve Lean

0 évènement,

0 évènement,

0 évènement,

0 évènement,

0 évènement,

0 évènement,

0 évènement,

0 évènement,

0 évènement,

0 évènement,

0 évènement,

0 évènement,

0 évènement,

1 évènement,

-

AG : Léa Bittmann (Edimburgh) : Des applications arithmétiques de la dualité de Schur-Weyl affine quantique

0 évènement,

0 évènement,

0 évènement,

0 évènement,

0 évènement,

0 évènement,

0 évènement,

0 évènement,

0 évènement,

0 évènement,

0 évènement,

0 évènement,