Séminaire Chocola à Lyon:

  • Aloïs Brunel (Univ. Paris 13), Composing forcing and classical realizability: the monitoring calculus
  • Guillaume Brunerie (Univ. Nice Sophia Antipolis), Homotopy type theory and homotopy groups of spheres
  • Matteo Mio (CWI, Amsterdam), Semantic Foundations of Quantitative (real-valued) Logics based on Functional Analysis