Joint CTTB ICF, ML coffee and RAWG

Wednesday 3 Jul 2024, 16:00 → 17:30 Europe/Zurich

774/R-013 (CERN)

Seminar by Prof. Katoen (RWTH Aachen) on 

• Program verification
• Verification of ML models (in particular Neural Network verification)
• Safety/reliability analysis using model checking
• Probabilistic programs, probabilistic model checking

 

Event details:

https://indico.cern.ch/event/1404018/

Zoom: 

https://cern.zoom.us/j/65280676955?pwd=UUtWZXkydm95eVNuVnBiMm91T3VzZz09

Passcode: 33062798