Évènements
Rechercher un événement
Minimalité des échanges d'intervalles (en présence de N. Pythéas Fogg)
Vincent Delecroix (LaBRI, CNRS, Bordeaux)
TBA Minimality of interval exchanges.
Realizability Workshop 2019 (Rencontre de Réalisabilité)
Workshop (CIRM, Luminy, Marseille)
In mathematical logic, realizability is a collection of methods in proof theory used to study constructive proofs and extract additional information from them. Realizability (wiki) [...]
