ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
Filter
Dates
Rooms
Tracks
Badges
Your 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
iCalendar subscription service for your personal schedule
You first need to have starred events () in order to use the iCalendar subscription service.
Currently Viewed Program
Downloads the currently viewed program (with filters applied) in iCal format
Session Calendar (ical)
Detailed Event Calendar (ical)