SPLASH 2020
Sun 15 - Sat 21 November 2020 Online Conference
Mon 16 Nov 2020 15:40 - 16:00 at SPLASH-IV - Session 4 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

15:00 - 16:20
Session 4REBLS at SPLASH-IV
Chair(s): Ivan PerezNIA / NASA Formal Methods
15:00
40m
Talk
Multitier Languages for Reactive Microservice Architectures
REBLS
Simon SchoenwaelderTU Darmstadt, Pascal WeisenburgerTU Darmstadt, Guido SalvaneschiUniversity of St. Gallen
File Attached
15:40
20m
Day closing
Closing remarks
REBLS
Ivan PerezNIA / NASA Formal Methods