Name: Potential collaboration synergies between CERN and MOVES in Formal Methods
Start: 2024-07-04T09:00:00+02:00
End: 2024-07-04T11:00:00+02:00
Location: CERN

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

Choose timezone