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

Sat 6 Apr

hsb-2019-papers
09:00 - 10:30: HSB - I at S9
Chair(s): Milan CeskaBrno University of Technology
hsb-2019-papers09:00 - 09:10
Day opening
hsb-2019-papers09:10 - 10:10
Talk
Marta KwiatkowskaUniversity of Oxford
hsb-2019-papers10:10 - 10:20
Short-paper
Matej TrojákMasaryk University, David SafranekMasaryk University, Jan ČervenýGlobal Change Research Institute CAS, Marek HavlíkMasaryk University, Lukrécia MertováMasaryk University, Matej HajnalMasaryk University, Jakub HrabecMasaryk University, Jakub ŠalagovičMasaryk University
hsb-2019-papers10:20 - 10:30
Short-paper
Lin LiuFreie Universität Berlin, Alexander BockmayrFreie Universität Berlin
hsb-2019-papers
11:00 - 12:30: HSB - Modelling at S9
Chair(s): Tatjana PetrovUniversität Konstanz
hsb-2019-papers11:00 - 11:30
Talk
Charalampos KyriakopoulosSaarland University, Pascal GiehrSaarland University, Alexander LückSaarland University, Jörn WalterSaarland University, Verena WolfSaarland University
hsb-2019-papers11:30 - 12:00
Talk
Pavol BokesComenius University, Abhyudai SinghUniversity of Delaware
hsb-2019-papers12:00 - 12:30
Talk
Cecile MoulinLaboratoire de Recherche en Informatique, Université Paris-Saclay & UMR CNRS 8623, Laurent TournierMaIAGE, INRA, Université Paris-Saclay., Sabine PeresLaboratoire de Recherche en Informatique, Université Paris-Saclay & UMR CNRS 8623.
hsb-2019-papers
14:00 - 15:30: HSB - Oded Maler memorial (1) at S9
Chair(s): Nicola PaolettiRoyal Holloway, University of London, UK
hsb-2019-papers14:00 - 15:00
Talk
Thao DangCNRS/VERIMAG
hsb-2019-papers
16:00 - 18:00: HSB - Oded Maler memorial (2) at S9
Chair(s): Nicola PaolettiRoyal Holloway, University of London, UK
hsb-2019-papers16:00 - 17:00
Talk
Alexandre DonzeUniversity of California, Berkeley
hsb-2019-papers17:00 - 18:00
Talk
Eugene AsarinIRIF, University Paris Diderot and CNRS, France

Sun 7 Apr

hsb-2019-papers
09:00 - 10:30: HSB - V at S9
Chair(s): Nicola PaolettiRoyal Holloway, University of London, UK
hsb-2019-papers09:00 - 10:00
Talk
Michela ChiappaloneItalian Institute of Technology
hsb-2019-papers10:00 - 10:30
Talk
Judah GoldfederYeshiva University, Hillel KuglerMicrosoft
hsb-2019-papers
11:00 - 12:30: HSB - Analysis at S9
Chair(s): Jerome FeretINRIA Paris
hsb-2019-papers11:00 - 11:30
Talk
Isabel Cristina Perez-VeronaIMT Institute for Advanced Studies Lucca, Italy, Mirco TribastoneIMT Institute for Advanced Studies Lucca, Italy, Max TschaikowskiIMT Institute for Advanced Studies Lucca, Italy
hsb-2019-papers11:30 - 12:00
Talk
Gerrit GroßmannSaarland University, Verena WolfSaarland University
hsb-2019-papers12:00 - 12:30
Talk
Daniel FigueiredoUniversity of Aveiro, Eugénio A. M. RochaUniversity of Aveiro, Madalena ChavesINRIA, Manuel A. MartinsUniversity of Aveiro
hsb-2019-papers
14:00 - 15:30: HSB - VII at S9
Chair(s): David SafranekMasaryk University
hsb-2019-papers14:00 - 15:00
Talk
Igor SchreiberUniversity of Chemistry and Technology of Prague
hsb-2019-papers15:00 - 15:30
Talk
Michalis MichaelidesUniversity of Edinburgh, Jane HillstonUniversity of Edinburgh, Guido SanguinettiUniversity of Edinburgh
hsb-2019-papers
16:00 - 18:00: HSB - Synthesis and Inference at S9
Chair(s): Michela ChiappaloneItalian Institute of Technology
hsb-2019-papers16:00 - 16:30
Talk
Ádám HalászWest Virginia University, Ouri MalerWest Virginia University, Jeremy S EdwardsUniversity of New Mexico
hsb-2019-papers16:30 - 17:00
Talk
Adrian RiescoUniversidad Complutense de Madrid, Beatriz Santos-BuitragoSeoul National University, Merrill KnappSRI International, Gustavo Santos-GarciaUniversidad de Salamanca, Carolyn TalcottSRI International
hsb-2019-papers17:00 - 17:30
Talk
Matej HajnalMasaryk University, Tatjana PetrovUniversität Konstanz, David SafranekMasaryk University, Morgane NouvianUniversity of Konstanz
hsb-2019-papers17:30 - 17:40
Day closing

Sat 6 Apr 2019

Room9:003010:003011:003012:003013:003014:003015:003016:003017:003018:0030
S9
09:00 - 10:30
11:00 - 12:30

Sun 7 Apr 2019

Room9:003010:003011:003012:003013:003014:003015:003016:003017:003018:0030
S9
09:00 - 10:30
11:00 - 12:30
14:00 - 15:30