|
09:00
|
RAWG News
-
Jan Uythoven
(CERN)
(774/1-079)
|
|
09:05
|
Formal Methods Interest Group – Introduction and Recent Activities
-
Borja Fernandez Adiego
(CERN)
(774/1-079)
|
|
09:20
|
Introduction to the verification of neural networks running on a PLC: an LHC cooling tower example.
-
Borja Fernandez Adiego
(CERN) Mr
Ignacio Lopez
(Technical University of Vienna)
(774/1-079)
|