ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
VenueOrea Hotel Pyramida
Room nameJUPITER
Floor0
Room number
Capacity0
Additional informationThere is no additional information of this room available.
Program

Sun 7 Apr

etaps-2019-ETAPS-Mentoring-Workshop
08:00 - 09:00: Mentoring Workshop - Mentoring Breakfast I at JUPITER

Tue 9 Apr

fase-2019-papers
10:30 - 12:30: FASE 2019 - Software Verification I at JUPITER
Chair(s): Wil van der AalstRWTH Aachen
fase-2019-papers10:30 - 11:00
Talk
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
fase-2019-papers11:00 - 11:30
Talk
Joonyoung Park, Alexander JordanOracle Labs, Australia, Sukyoung RyuKAIST, South Korea
Link to publication
fase-2019-papers11:30 - 12:00
Talk
Min ZhangEast China Normal University, Fu Song, Frederic MalletUniversité Côte d'Azur, France, Xiaohong Chen
Link to publication
fase-2019-papers12:00 - 12:30
Talk
Rolf HennickerLudwig Maximilians University Munich, Germany, Alexandre Madeira, Alexander Knapp
Link to publication
tacas-2019-papers
14:00 - 15:00: TACAS 2019 - Machine Learning at JUPITER
Chair(s): Bernhard SteffenTechnical University Dortmund
tacas-2019-papers14:00 - 14:30
Talk
Ernst Moritz HahnQueen's University Belfast, Mateo Perez, Sven ScheweUniversity of Liverpool, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak
Link to publication
tacas-2019-papers14:30 - 15:00
Talk
Nathan FultonMIT-IBM Watson AI Lab, André PlatzerCarnegie Mellon University
Link to publication
etaps-2019-ETAPS-Mentoring-Workshop
17:00 - 18:00: Mentoring Workshop - Reps at JUPITER
etaps-2019-ETAPS-Mentoring-Workshop17:00 - 18:00
Talk
Thomas RepsUniversity of Wisconsin - Madison and GrammaTech, Inc.

Wed 10 Apr

fase-2019-papers
10:30 - 12:30: FASE 2019 - Model-driven Development and Model Transformation at JUPITER
Chair(s): Marielle StoelingaUniversity of Twente and Radboud University, Nijmegen
fase-2019-papers10:30 - 11:00
Talk
Philip Zweihoff, Stefan Naujokat, Bernhard SteffenTechnical University Dortmund
Link to publication
fase-2019-papers11:00 - 11:30
Talk
Lars Fritsche, Jens Kosiol, Andy SchürrTU Darmstadt, Gabriele TaentzerUniversität Marburg
Link to publication
fase-2019-papers11:30 - 12:00
Talk
Artur BoronatUniversity of Leicester
Link to publication
fase-2019-papers12:00 - 12:30
Talk
Sven Schneider, Leen Lambers, Fernando OrejasUniversitat Politècnica de Catalunya, Spain
Link to publication
fase-2019-papers
14:00 - 16:00: FASE 2019 - Software Verification II at JUPITER
Chair(s): Heike WehrheimPaderborn University
fase-2019-papers14:00 - 14:30
Talk
Link to publication
fase-2019-papers14:30 - 15:00
Talk
Aleksandar S. DimovskiMother Teresa University, Skopje, Axel LegayINRIA Rennes, Andrzej WąsowskiIT University of Copenhagen, Denmark
Link to publication
fase-2019-papers15:00 - 15:30
Talk
Huang Li, Eun-Young KangUniversity of Southern Denmark
Link to publication
fase-2019-papers15:30 - 16:00
Talk
Himanshu Arora, Raghavan KomondoorIndian Institute of Science, Bangalore, G. RamalingamMicrosoft Research
Link to publication
etaps-2019-ETAPS-Mentoring-Workshop
17:00 - 18:00: Mentoring Workshop - Wilhelm at JUPITER
etaps-2019-ETAPS-Mentoring-Workshop17:00 - 18:00
Talk
Reinhard WilhelmSaarland University

Thu 11 Apr

fase-2019-papers
14:00 - 16:00: FASE 2019 - Specification, Design, and Implementation of Particular Classes of Systems at JUPITER
Chair(s): Reiner HähnleTechnical University of Darmstadt
fase-2019-papers14:00 - 14:30
Talk
Chao PengUniversity of Edinburgh, UK, Ajitha RajanUniversity of Edinburgh
Link to publication
fase-2019-papers14:30 - 15:00
Talk
Nikolaos Bezirgiannis, Frank S. de BoerCentrum Wiskunde & Informatica, Leiden University, Einar Broch JohnsenUniversity of Oslo, Ka I Pun, Silvia Lizeth Tapia TarifaUniversity of Oslo
Link to publication
fase-2019-papers15:00 - 15:30
Talk
Mario BravettiUniversità di Bologna, Saverio GiallorenzoUniversity of Southern Denmark, Jacopo MauroUniversity of Southern Denmark, Iacopo Talevi, Gianluigi Zavattaro
Link to publication
fase-2019-papers15:30 - 16:00
Talk
Link to publication
fase-2019-papers
16:30 - 18:00: FASE 2019 - Software Testing at JUPITER
Chair(s): Silvia Lizeth Tapia TarifaUniversity of Oslo
fase-2019-papers16:30 - 17:00
Talk
Dirk BeyerLMU Munich, Marie-Christine JakobsTU Darmstadt, Germany
Link to publication
fase-2019-papers17:00 - 17:30
Talk
Golnaz Gharachorlu, Nick SumnerSimon Fraser University
Link to publication
fase-2019-papers17:30 - 18:00
Talk
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 2019

Tue 9 Apr 2019

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

Wed 10 Apr 2019

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

Thu 11 Apr 2019

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