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

- 11:00 → 11:20
  
  Introduction to PIC 20m
  
  Speakers: Alain Antoine (CERN), Jesus Cortes (CERN)
  
  20260820_CTTB_RAWG_PIC_Introduction.pdf
  
  20260820_CTTB_RAWG_PIC_Introduction.pptx
  
  Introduction_to_PICv2_Sw_Cortes.pdf
  
  Introduction_to_PICv2_Sw_Cortes.pptx
- 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))
  
  Formal verification of the PIC PLC program - 20 August.pdf
  
  Formal verification of the PIC PLC program - 20 August.pptx
- 11:50 → 12:00
  
  Q&A 10m
  
  Speakers: Jean-Charles Tournier (CERN), Lukas Felsberger (CERN)