Joined CTTB ICF and RAWG Seminar | Formal Verification of PIC PLC Program

Name: Joined CTTB ICF and RAWG Seminar | Formal Verification of PIC PLC Program
Start: 2026-08-20T11:00:00+02:00
End: 2026-08-20T12:00:00+02:00
Location: CERN

Thursday 20 Aug 2026, 11:00 → 12:00 Europe/Zurich

774/1-079 (CERN)

774/1-079

CERN

Show room on map

62581633180

Jean-Charles Tournier

Join via phone

- 11:00 → 11:20
  
  Introduction to PIC 20m
  
  Speakers: Alain Antoine (CERN), Jesus Cortes (CERN)
- 11:20 → 11:50
  
  Formal verification of the PIC PLC program 30m
  
  Speakers: Borja Fernandez Adiego (CERN), Mohammad Massi Rashidi (EPFL - Ecole Polytechnique Federale Lausanne (CH))
- 11:50 → 12:00
  
  Q&A 10m
  
  Speakers: Jean-Charles Tournier (CERN), Lukas Felsberger (CERN)