Speakers
Quentin Mazouni
(Simula Research Laboratory)
Helge Spieker
(Simula Research Laboratory)
Arnaud Gotlieb
(Simula Research Laboratory)
Mathieu Acher
(Univ Rennes, Inria, CNRS, IRISA)