SALAD 2018
Mon 16 - Sat 21 July 2018 Amsterdam, Netherlands
co-located with ECOOP and ISSTA 2018
VenueMövenpick Hotel Amsterdam City Centre
Room nameBangkok
Floor0
Additional informationThere is no additional information of this room available.
Program

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

Mon 16 Jul
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

11:00 - 12:30: Session 1COP at Bangkok
Chair(s): Jens LinckeHasso Plattner Institute, Tetsuo KaminaOita University
11:00 - 11:30
Talk
COP
Toni MattisHasso Plattner Institute, Robert HirschfeldHPI, University of Potsdam
11:30 - 12:00
Talk
COP
Takuo WatanabeTokyo Institute of Technology
Link to publication DOI
12:00 - 12:30
Talk
COP
Robert HirschfeldHPI, University of Potsdam, Patrick ReinHasso Plattner Institute, Marcel TaeumelHasso Plattner Institute, Tobias DürschmidHasso Plattner Institute
14:00 - 15:30: Session 2COP at Bangkok
Chair(s): Tetsuo KaminaOita University, Jens LinckeHasso Plattner Institute
14:00 - 14:30
Talk
COP
Yudai TanabeTokyo Institute of Technology, Tomoyuki AotaniTokyo Institute of Technology, Hidehiko MasuharaTokyo Institute of Technology
14:30 - 15:00
Talk
COP
Benoît DuhouxUniversité catholique de Louvain, Belgium, Kim MensUniversité Catholique de Louvain, Belgium, Bruno Dumas
15:00 - 15:30
Talk
COP
Nicolás CardozoUniversidad de los Andes

Tue 17 Jul
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

11:00 - 12:30: Session 1VORTEX at Bangkok
Chair(s): Davide AnconaUniversity of Genova
11:00 - 11:45
Talk
VORTEX
K: Martin LeuckerUniversity of Lübeck
11:45 - 12:30
Talk
VORTEX
K: Wolfgang AhrendtChalmers University of Technology
14:00 - 15:30: Session 2VORTEX at Bangkok
Chair(s): Frank S. de BoerCentrum Wiskunde & Informatica, Leiden University
14:00 - 14:30
Talk
VORTEX
P: Eduardo Geraldo, João Costa SecoNOVA LINCS -- Universidade Nova de Lisboa
14:30 - 15:00
Talk
VORTEX
15:00 - 15:30
Talk
VORTEX
Giorgio AudritoUniversità di Torino, P: Ferruccio DamianiUniversity of Turin, Volker StolzHøgskulen på Vestlandet, Mirko ViroliUniversity of Bologna
16:00 - 18:00: Session 3VORTEX at Bangkok
Chair(s): Martin LeuckerUniversity of Lübeck
16:00 - 16:45
Talk
VORTEX
K: Frank S. de BoerCentrum Wiskunde & Informatica, Leiden University
16:45 - 17:15
Talk
VORTEX
Frank S. de BoerCentrum Wiskunde & Informatica, Leiden University, Elena Giachino, P: Stijn De Gouw, Reiner HähnleTechnical University of Darmstadt, Einar Broch JohnsenUniversity of Oslo, Cosimo Laneve, Violet Ka I Pun, Gianluigi Zavattaro

Wed 18 Jul
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

11:00 - 12:30: Session #1ML4PL at Bangkok
Chair(s): Hila PelegTechnion, Israel, Artem PelenitsynCzech Technical University in Prague
11:00 - 12:00
Talk
ML4PL
Andreas ZellerSaarland University
12:00 - 12:30
Talk
ML4PL
Hila PelegTechnion, Israel
14:00 - 15:30: Session #2ML4PL at Bangkok
Chair(s): Artem PelenitsynCzech Technical University in Prague
14:00 - 14:30
Talk
ML4PL
Cristina CifuentesOracle Labs, Yang ZhaoOracle Labs, Xingzhong DuOracle Labs, Paddy Krishnan
14:30 - 15:00
Talk
ML4PL
Nicolás CardozoUniversidad de los Andes, Ivana DusparicTrinity College Dublin, Ireland
15:00 - 15:30
Talk
ML4PL
Timofey Bryksin, Victor PetukhovITMO University, Kirill SmirenkoSaint Petersburg State University, Nikita PovarovJetBrains
16:00 - 18:00: Session #3ML4PL at Bangkok
Chair(s): Hila PelegTechnion, Israel
16:00 - 16:30
Talk
ML4PL
Jerry SwanUniversity of York, Colin JohnsonUniversity of Kent, Edwin BradyUniversity of St. Andrews, UK
16:30 - 17:00
Talk
ML4PL
Artem PelenitsynCzech Technical University in Prague
17:00 - 17:30
Meeting
ML4PL

Thu 19 Jul
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

11:00 - 12:30: Welcome and KeynoteTAV-CPS/IoT at Bangkok
11:00 - 12:00
Talk
TAV-CPS/IoT
Archan MisraSingapore Management University, Singapore
12:00 - 12:30
Research paper
TAV-CPS/IoT
Heron YangCarnegie Mellon University, Robert MorrisMIT, Corina S PasareanuNASA Ames Research Center
14:00 - 15:30: TalksTAV-CPS/IoT at Bangkok
14:00 - 15:00
Talk
TAV-CPS/IoT
Mohammad MousaviUniversity of Leicester, UK
15:00 - 15:30
Research paper
TAV-CPS/IoT
Pedro Martins PontesFaculty of Engineering, University of Porto and INESC TEC, Bruno LimaFaculty of Engineering, University of Porto and INESC TEC, João Pascoal FariaFaculty of Engineering, University of Porto and INESC TEC

Mon 16 Jul
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Room11:003012:003013:003014:003015:003016:003017:0030
Bangkok

Tue 17 Jul
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Room11:003012:003013:003014:003015:003016:003017:0030
Bangkok

Wed 18 Jul
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Room11:003012:003013:003014:003015:003016:003017:0030
Bangkok

Thu 19 Jul
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Room11:003012:003013:003014:003015:003016:003017:0030
Bangkok

Thu 19 Jul
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change