Name: Electronics-forum #16 joint with Formal Methods Interest Group: Formal Verification of Gateware
Start: 2025-04-03T10:30:00+02:00
End: 2025-04-03T12:00:00+02:00
Location: No location set

Electronics-forum #16 joint with Formal Methods Interest Group: Formal Verification of Gateware

Thursday 3 April 2025 - 10:30

Monday 31 March 2025
Tuesday 1 April 2025
Wednesday 2 April 2025
Thursday 3 April 2025
10:30 Introduction - Borja Fernandez Adiego (CERN) Mathieu Saccani (CERN) Evangelia Gousiou (CERN) Hamza Boukabache (CERN)
Introduction
- Borja Fernandez Adiego (CERN)
- Mathieu Saccani (CERN)
- Evangelia Gousiou (CERN)
- Hamza Boukabache (CERN)
10:30 - 10:40
Joint Forum with the 'Formal Methods Interest Group' - formal-methods-interest-group@cern.ch - https://confluence.cern.ch/display/FMVWG/Formal+methods+interest+group+Home
10:40 Formal Verification in the COLIBRI project - Alberto Perro (Universite d'Aix-Marseille III (FR))
Formal Verification in the COLIBRI project
- Alberto Perro (Universite d'Aix-Marseille III (FR))
10:40 - 10:55
10:55 Formal Verification in the CROME project - Clyde Laforge (CERN)
Formal Verification in the CROME project
- Clyde Laforge (CERN)
10:55 - 11:10
11:10 Formal Verification in the FGC project - Valerio Nappi
Formal Verification in the FGC project
- Valerio Nappi
11:10 - 11:25
11:25 Discussion on central support/ tools/ trainings - Christos Gentsos (CERN (IT-CA-GES))
Discussion on central support/ tools/ trainings
- Christos Gentsos (CERN (IT-CA-GES))
11:25 - 11:40
11:40 Discussion & Wrap-up
Discussion & Wrap-up
11:40 - 12:00
Additional time for questions

Choose timezone