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
1
TE-MPE activities
Speaker
:
Lukas Felsberger
(
CERN
)
intro_of_mpe v2.pdf
intro_of_mpe v2.pptx
2
BE-CSS and SY-ABT activities
Speakers
:
Michael Schenk
(
CERN
)
,
Verena Kain
(
CERN
)
cern_moves_css_abt.pdf
cern_moves_css_abt.pptx
3
BE-CEM activites
Speaker
:
Álvaro García González
Neural networks at MRO.pdf
Neural networks at MRO.pptx
4
HSE-RP activities
Speaker
:
Hamza Boukabache
(
CERN
)
HSE-RP_Activities.pdf
HSE-RP_Activities.pptx
5
BE-ICS activities
Speaker
:
Xaver Eugen Fink
BE_ICS_activities.pdf
BE_ICS_activities.pptx