Write a Blog >>
SPLASH 2019
Sun 20 - Fri 25 October 2019 Athens, Greece
VenueRoyal Olympic Hotel
Room nameRoom 3B
Floor3
Room number3
Capacity50
Additional information

Half of 3rd floor conference room

Program

You're viewing the program in a time zone which is different from your device's time zone - change time zone

Mon 21 Oct
Times are displayed in time zone: (GMT+03:00) Beirut change

09:00 - 10:30: KeynoteREBLS at Room 3B
09:00 - 09:10
Day opening
REBLS
09:10 - 10:30
Talk
REBLS
Ivan PerezNIA / NASA Formal Methods
11:00 - 12:30: Language design and implementationREBLS at Room 3B
Chair(s): Tetsuo KaminaOita University
11:00 - 11:30
Talk
REBLS
Tian ZhaoUniversity of Wisconsin-Milwaukee, Adam BergerUniversity of Wisconsin -- Milwaukee, Yonglun LiUniversity of Wisconsin -- Milwaukee
11:30 - 12:00
Talk
REBLS
Yoshitaka SakuraiTokyo Institute of Technology, Takuo WatanabeTokyo Institute of Technology
DOI
12:00 - 12:30
Talk
REBLS
David RichterTechnische Universität Darmstadt, Ragnar MogkTechnische Universität Darmstadt
File Attached
14:00 - 15:30: Domain specific applicationsREBLS at Room 3B
Chair(s): Hidehiko MasuharaTokyo Institute of Technology
14:00 - 14:30
Talk
REBLS
Marcel BlöcherTU Darmstadt, Matthias EichholzTU Darmstadt, Pascal WeisenburgerTechnische Universität Darmstadt, Patrick EugsterUniversita della Svizzera Italiana, Switzerland, Mira MeziniTechnische Universität Darmstadt, Guido SalvaneschiTechnische Universität Darmstadt
14:30 - 15:00
Talk
REBLS
Vadim ZaytsevRaincode Labs, Belgium
15:00 - 15:30
Talk
REBLS
Daniel SokolowskiTechnische Universität Darmstadt, Philipp MartensTechnische Universität Darmstadt, Guido SalvaneschiTechnische Universität Darmstadt
File Attached

Tue 22 Oct
Times are displayed in time zone: (GMT+03:00) Beirut change

14:00 - 15:30: Practical Bits (Undergrads)PLMW at Room 3B
Chair(s): Jonathan BellGeorge Mason University
14:00 - 14:45
Talk
PLMW
Alessandra GorlaIMDEA Software Institute
File Attached
14:45 - 15:30
Talk
PLMW
File Attached

Mon 21 Oct
Times are displayed in time zone: (GMT+03:00) Beirut change

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Room 3B

Tue 22 Oct
Times are displayed in time zone: (GMT+03:00) Beirut change

Tue 22 Oct
Times are displayed in time zone: (GMT+03:00) Beirut change