Potential collaboration synergies between CERN and MOVES in Formal Methods

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

Thursday 4 Jul 2024, 09:00 → 11:00 Europe/Zurich

774/2-058 (CERN)

774/2-058

CERN

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

Choose timezone

Potential collaboration synergies between CERN and MOVES in Formal Methods

774/2-058

CERN