Write a Blog >>
GaLoP 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
co-located with ETAPS 2019
VenueOrea Hotel Pyramida
Room nameJUPITER
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

Sun 7 Apr
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

08:00 - 09:00: Mentoring Breakfast IETAPS Mentoring Workshop at JUPITER

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

10:30 - 12:30: Software Verification IFASE at JUPITER
Chair(s): Wil van der AalstRWTH Aachen
10:30 - 11:00
Talk
FASE
Tobias RungeTU Braunschweig, Ina SchaeferTechnische Universität Braunschweig, Loek CleophasEindhoven University of Technology (TU/e) and Stellenbosch University (SU), Thomas ThümTU Braunschweig, Germany, Derrick KourieStellenbosch University, Bruce W Watson
Link to publication
11:00 - 11:30
Talk
FASE
Joonyoung Park, Alexander JordanOracle Labs, Australia, Sukyoung RyuKAIST, South Korea
Link to publication
11:30 - 12:00
Talk
FASE
Min ZhangEast China Normal University, Fu Song, Frederic MalletUniversité Côte d'Azur, France, Xiaohong Chen
Link to publication
12:00 - 12:30
Talk
FASE
Rolf HennickerLudwig Maximilians University Munich, Germany, Alexandre Madeira, Alexander Knapp
Link to publication
14:00 - 15:00: Machine LearningTACAS at JUPITER
Chair(s): Bernhard SteffenTechnical University Dortmund
14:00 - 14:30
Talk
TACAS
Ernst Moritz HahnQueen's University Belfast, Mateo Perez, Sven ScheweUniversity of Liverpool, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
Link to publication
14:30 - 15:00
Talk
TACAS
Nathan FultonMIT-IBM Watson AI Lab, André PlatzerCarnegie Mellon University
Link to publication
17:00 - 18:00: RepsETAPS Mentoring Workshop at JUPITER
17:00 - 18:00
Talk
ETAPS Mentoring Workshop
Thomas RepsUniversity of Wisconsin - Madison and GrammaTech, Inc.

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

17:00 - 18:00: WilhelmETAPS Mentoring Workshop at JUPITER
17:00 - 18:00
Talk
ETAPS Mentoring Workshop
Reinhard WilhelmSaarland University

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

14:00 - 16:00: Specification, Design, and Implementation of Particular Classes of SystemsFASE at JUPITER
Chair(s): Reiner HähnleTechnical University of Darmstadt
14:00 - 14:30
Talk
FASE
Chao PengUniversity of Edinburgh, UK, Ajitha RajanUniversity of Edinburgh
Link to publication
14:30 - 15:00
Talk
FASE
Nikolaos Bezirgiannis, Frank S. de BoerCentrum Wiskunde & Informatica, Leiden University, Einar Broch JohnsenUniversity of Oslo, Violet Ka I Pun, Silvia Lizeth Tapia TarifaUniversity of Oslo
Link to publication
15:00 - 15:30
Talk
FASE
Mario BravettiUniversità di Bologna, Saverio GiallorenzoUniversity of Southern Denmark, Jacopo MauroUniversity of Southern Denmark, Iacopo Talevi, Gianluigi Zavattaro
Link to publication
15:30 - 16:00
Talk
FASE
Link to publication
16:30 - 18:00: Software TestingFASE at JUPITER
Chair(s): Silvia Lizeth Tapia TarifaUniversity of Oslo
16:30 - 17:00
Talk
FASE
Dirk BeyerLMU Munich, Marie-Christine JakobsTU Darmstadt, Germany
Link to publication
17:00 - 17:30
Talk
FASE
Golnaz Gharachorlu, Nick SumnerSimon Fraser University
Link to publication
17:30 - 18:00
Talk
FASE
Pablo PonzioDept. of Computer Science FCEFQyN, University of Rio Cuarto, Valeria BengoleaDept. of Computer Science FCEFQyN, University of Rio Cuarto, Mariano Politano, Nazareno AguirreDept. of Computer Science FCEFQyN, University of Rio Cuarto, Marcelo F. FriasDept. of Software Engineering Instituto Tecnológico de Buenos Aires
Link to publication

Sun 7 Apr
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

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

Room10:003011:003012:003013:003014:003015:003016:003017:003018:0030
JUPITER

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

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