Login
RAWG Meeting

Thursday 20 April 2023 - 09:00
CERN (774/1-079)

        : Sessions
    /     : Talks
        : Breaks
20 Apr 2023
AM
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)
PM
Powered by Indico v3.3.6-pre