RAWG Meeting
Thursday 20 April 2023 -
09:00
Monday 17 April 2023
Tuesday 18 April 2023
Wednesday 19 April 2023
Thursday 20 April 2023
09:00
RAWG News
-
Jan Uythoven
(
CERN
)
RAWG News
Jan Uythoven
(
CERN
)
09:00 - 09:05
Room: 774/1-079
09:05
Formal Methods Interest Group – Introduction and Recent Activities
-
Borja Fernandez Adiego
(
CERN
)
Formal Methods Interest Group – Introduction and Recent Activities
Borja Fernandez Adiego
(
CERN
)
09:05 - 09:15
Room: 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
)
Ignacio Lopez
(
Technical University of Vienna
)
Introduction to the verification of neural networks running on a PLC: an LHC cooling tower example.
Borja Fernandez Adiego
(
CERN
)
Ignacio Lopez
(
Technical University of Vienna
)
09:20 - 09:45
Room: 774/1-079