SPLASH 2020
Sun 15 - Sat 21 November 2020 Online Conference
You're viewing the program in a time zone which is different from your device's time zone - change time zone
This view shows a partial program, view other tabs for the complete program.

No schedule or scheduled events are not visible yet, check back later

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 - 07:20
Day opening
REBLS
Ivan PerezNIA / NASA Formal Methods
07:20 - 08:20
Keynote
REBLS
09:00 - 10:20: Session 1REBLS at SPLASH-IV
Chair(s): Ivan PerezNIA / NASA Formal Methods
09:00 - 09:40
Research paper
REBLS
Manuel AlaborUniversity of Applied Sciences of Eastern Switzerland (OST)
File Attached
09:40 - 10:20
Talk
REBLS
Tetsuo KaminaOita University, Tomoyuki AotaniMamezou Co.,Ltd., Hidehiko MasuharaTokyo Institute of Technology
File Attached
11:00 - 12:20: Session 2REBLS at SPLASH-IV
Chair(s): Mark SantolucitoBarnard College, Columbia University, USA
11:00 - 11:40
Research paper
REBLS
Tian ZhaoUniversity of Wisconsin-Milwaukee, Adam BergerUniversity of Wisconsin -- Milwaukee, Yonglun LiUniversity of Wisconsin -- Milwaukee
File Attached
11:40 - 12:20
Research paper
REBLS
Manuel Bärenzsonnen eServices GmbH
13:00 - 14:20: Session 3REBLS at SPLASH-IV
Chair(s): Manuel Bärenzsonnen eServices GmbH
13:00 - 13:40
Talk
REBLS
Adriaan LeijnseUniversidade NOVA de Lisboa
File Attached
13:40 - 14:20
Talk
REBLS
Bjarno OeyenVrije Universiteit Brussel, Sam Van den VonderVrije Universiteit Brussel, Wolfgang De MeuterVrije Universiteit Brussel
15:00 - 16:20: Session 4REBLS at SPLASH-IV
Chair(s): Ivan PerezNIA / NASA Formal Methods
15:00 - 15:40
Talk
REBLS
Simon SchoenwaelderTU Darmstadt, Pascal WeisenburgerTU Darmstadt, Guido SalvaneschiUniversity of St. Gallen
File Attached
15:40 - 16:00
Day closing
REBLS
Ivan PerezNIA / NASA Formal Methods
iCalendar subscription service for your personal schedule
You first need to have starred events () in order to use the iCalendar subscription service.
Currently Viewed Program
Downloads the currently viewed program (with filters applied) in iCal format
Session Calendar (ical)
Detailed Event Calendar (ical)