Videos
Loading...
April 20, 2021
Speakers : Matthieu Armando
Affiliation : INRIA
April 20, 2021
Speakers : Lukas Schmid
Affiliation : ETH Zurich
May 19, 2021
Speakers : Arslan Raja
Affiliation : EPFL
April 22, 2021
Speakers : Jamie Shotton
Affiliation : Microsoft
May 20, 2021
Speakers : Rémy Portelas
Affiliation : INRIA
May 20, 2021
Speakers : Hadrien Hendrikx
Affiliation : INRIA
May 20, 2021
Speakers : David Lindner
Affiliation : ETH Zurich