Évènements
Rechercher un événement
09
Oct
Cut-Expansion in Proof-Nets of Multiplicative Linear Logic
Rémi Di Guardia (IRIF, Paris Cité)
Cut-elimination is a rewriting system defined in many logics, which has been widely studied. In general, a major result is to prove its weak normalization, [...]
09
Oct
The course Baum-Connes conjecture and new counterexamples using warped cones
Thomas Schick (Math. Institut, Göttingen)
"Coarse" geometry studies unbounded metric spaces "from far away", ignoring all the fine local structure. This paradigm is very successfull and underlies e.g. most of [...]
