Login
Compute & Accelerator Forum - OS correctness

Wednesday, 12 November 2025 - 16:30
CERN

        : Sessions
    /     : Talks
        : Breaks
12 Nov 2025
AM
PM
16:30 News - Benjamin Morgan (University of Warwick (GB)) Michael Bussmann Dr Maria Girone (CERN) Graeme A Stewart (CERN) Stefan Roiser (CERN)  
16:35 A Formal but Pragmatic Foundation for General-Purpose Operating Systems - Timothy Roscoe (ETHZ)  
Powered by Indico v3.3.10-pre