Potential collaboration synergies between CERN and MOVES in Formal Methods
Thursday 4 July 2024 -
09:00
Monday 1 July 2024
Tuesday 2 July 2024
Wednesday 3 July 2024
Thursday 4 July 2024
09:00
TE-MPE activities
-
Lukas Felsberger
(
CERN
)
TE-MPE activities
Lukas Felsberger
(
CERN
)
09:00 - 09:10
Room: 774/2-058
09:10
BE-CSS and SY-ABT activities
-
Michael Schenk
(
CERN
)
Verena Kain
(
CERN
)
BE-CSS and SY-ABT activities
Michael Schenk
(
CERN
)
Verena Kain
(
CERN
)
09:10 - 09:20
Room: 774/2-058
09:20
BE-CEM activites
-
Álvaro García González
BE-CEM activites
Álvaro García González
09:20 - 09:30
Room: 774/2-058
09:30
HSE-RP activities
-
Hamza Boukabache
(
CERN
)
HSE-RP activities
Hamza Boukabache
(
CERN
)
09:30 - 09:40
Room: 774/2-058
09:40
BE-ICS activities
-
Xaver Eugen Fink
BE-ICS activities
Xaver Eugen Fink
09:40 - 09:50
Room: 774/2-058