Potential collaboration synergies between CERN and MOVES in Formal Methods
Thursday 4 Jul 2024, 09:00
→
11:00
Europe/Zurich
774/2-058 (CERN)
774/2-058
CERN
38
Show room on map
Borja Fernandez Adiego
(
CERN
)
,
Enrique Blanco
(
CERN
)
,
Xaver Eugen Fink
09:00
→
09:10
TE-MPE activities
10m
Speaker
:
Lukas Felsberger
(
CERN
)
intro_of_mpe v2.pdf
intro_of_mpe v2.pptx
09:10
→
09:20
BE-CSS and SY-ABT activities
10m
Speakers
:
Michael Schenk
(
CERN
)
,
Verena Kain
(
CERN
)
cern_moves_css_abt.pdf
cern_moves_css_abt.pptx
09:20
→
09:30
BE-CEM activites
10m
Speaker
:
Álvaro García González
Neural networks at MRO.pdf
Neural networks at MRO.pptx
09:30
→
09:40
HSE-RP activities
10m
Speaker
:
Hamza Boukabache
(
CERN
)
HSE-RP_Activities.pdf
HSE-RP_Activities.pptx
09:40
→
09:50
BE-ICS activities
10m
Speaker
:
Xaver Eugen Fink
BE_ICS_activities.pdf
BE_ICS_activities.pptx