RAWG Meeting (20 April 2023) · Indico

Choose timezone

Your profile timezone:

Use timezone based on:

Event/category Custom

Select a custom timezone

Login

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