SPLASH 2021
Sun 17 - Fri 22 October 2021 Chicago, Illinois, United States
Mon 18 Oct 2021 09:00 - 09:10 at Zurich G - Welcome to REBLS & Keynote Chair(s): Louis Mandel

Mon 18 Oct

Displayed time zone: Central Time (US & Canada) change

09:00 - 10:20
Welcome to REBLS & KeynoteREBLS at Zurich G
Chair(s): Louis Mandel IBM Research
09:00
10m
Day opening
Welcome to REBLS
REBLS
Louis Mandel IBM Research
09:10
60m
Keynote
Specification and End-to-End Proof of a Reactive Language and Its Compiler (Invited Talk)Keynote
REBLS
DOI