Correctness criteria

Schedule

Abstract

Talks and micro-talks by Roberto Maieli, Vito Michele Abrusci, Beniamino Accattoli, Marc Bagnol, Thomas Ehrhard.