Séminaire Chocola à Lyon:

  • Michele Basaldella, An interactive semantics for classical proofs
  • Michele Pagani (LIPN, Univ. Paris 13), Probabilistic Coherence Spaces are Fully Abstract for Probabilistic PCF
  • Christophe Raffalli (LAMA, Université de Savoie), Nullstellensatz and Positivestellensatz from cut-elimination