Potential collaboration synergies between CERN and MOVES in Formal Methods

Thursday 4 July 2024 - 09:00
CERN (774/2-058)

        : Sessions
    /     : Talks
        : Breaks
4 Jul 2024
AM
09:00 TE-MPE activities - Lukas Felsberger (CERN)   (774/2-058)
09:10 BE-CSS and SY-ABT activities - Michael Schenk (CERN) Verena Kain (CERN)   (774/2-058)
09:20 BE-CEM activites - Álvaro García González   (774/2-058)
09:30 HSE-RP activities - Hamza Boukabache (CERN)   (774/2-058)
09:40 BE-ICS activities - Xaver Eugen Fink   (774/2-058)
PM