ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
Sun 7 Apr 2019 11:30 - 12:00 at S510 - I

Sun 7 Apr
Times are displayed in time zone: (GMT+01:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

11:00 - 12:30: ISPIoT at S510
11:00 - 11:30
SPIoT
Jan KretinskyTechnical University of Munich
11:30 - 12:00
Talk
SPIoT
Pietro FerraraJuliaSoft SRL, Italy, Amit Kr MandalUniversità Ca' Foscari, Venezia, Italy, Agostino CortesiUniversità Ca' Foscari Venezia, Fausto SpotoU. Verona
12:00 - 12:30
Talk
SPIoT
Florian KammüllerMiddlesex University, UK