SPLASH 2020
Sun 15 - Sat 21 November 2020 Online Conference
Mon 16 Nov 2020 07:00 - 07:20 at SPLASH-IV - Welcome to REBLS & Keynote Chair(s): Ivan Perez

Researcher @ NIA / NASA Formal Methods | Founder @ Haskell Game Company Keera Studios | Haskell game and mobile app developer.

Mon 16 Nov
Times are displayed in time zone: Central Time (US & Canada) change

07:00 - 08:20
Welcome to REBLS & KeynoteREBLS at SPLASH-IV
Chair(s): Ivan PerezNIA / NASA Formal Methods
07:00
20m
Day opening
Welcome to REBLS
REBLS
Ivan PerezNIA / NASA Formal Methods
07:20
60m
Keynote
Keynote: SCADE 6
REBLS