Room 206 (2nd floor, badged access)
28 November 2024 - 14h00
TBA (Synchronous Language Compilers: Translation Validation and Optimizations)
Grégoire BUSSONE from ENS, équipe Parkas (Inria-ENS)
invited by Sylvain BOULME
28 November 2024 - 14h00
TBA (Synchronous Language Compilers: Translation Validation and Optimizations)
Grégoire BUSSONE from ENS, équipe Parkas (Inria-ENS)
invited by Sylvain BOULME
Abstract: TBA