SPLASH 2021
Sun 17 - Fri 22 October 2021 Chicago, Illinois, United States

This program is tentative and subject to change.

Mon 18 Oct 2021 09:10 - 10:10 at Zurich G - Welcome to REBLS & Keynote

This program is tentative and subject to change.

Mon 18 Oct

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

09:00 - 10:20
Welcome to REBLS & KeynoteREBLS at Zurich G
09:00
10m
Day opening
Welcome to REBLS
REBLS
Louis Mandel IBM T.J. Watson Research Center
09:10
60m
Keynote
Specification and End-to-End Proof of a Reactive Language and its CompilerKeynote
REBLS