Évènements
Rechercher un événement
23
Mar
Artin Approximation and Infinite Dimensional Geometry (Morlet Chair - Herwig Hauser)
Conference (CIRM, Luminy, Marseille)
CIRM - Jean-Morlet Chair Herwig Hauser & Guillaume Rond Singularities and Artin Approximation Singularités et approximation de Artin 2015-Semester 1 MAIN CONFERENCE Artin Approximation and [...]
26
Mar
Bar recursion, sémantique dénotationnelle et réalisabilité classique
Jean-Louis Krivine (PPS, Université Paris-Diderot)
L'opérateur de bar recursion, introduit dans les années 60 par C. Spector pour "prouver" la consistance de l'Analyse, a été recyclé à partir de 1998, [...]
26
Mar
Les codes LRC géométriques
Serge Vladuts (...)
Les codes LRC (locally recoverable codes) sont des codes correcteur d'erreurs possédant une propriété de localité assez exigeante, motivée par des applications internet. Récemment, A. [...]
