Write a Blog >>
HSB 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
co-located with ETAPS 2019
VenueCharles University
Room nameS7
Floor0
Room number
Capacity0
Additional informationThere is no additional information of this room available.
Program

Sun 7 Apr

qapl-2019-papers
11:00 - 12:30: QAPL - Session II at S7
qapl-2019-papers11:00 - 11:30
Talk
Mathias Ruggaard PedersenAalborg University, Giorgio BacciAalborg University, Kim LarsenAalborg University
Pre-print
qapl-2019-papers11:30 - 12:00
Talk
Anne SchreuderTechnischen Universität Kaiserslautern, C.-H. Luke OngUniversity of Oxford
Pre-print
qapl-2019-papers12:00 - 12:30
Talk
Jan Olaf BlechAalto University
Pre-print
qapl-2019-papers
14:00 - 15:30: QAPL - Session III at S7
qapl-2019-papers14:00 - 15:00
Talk
qapl-2019-papers15:00 - 15:30
Talk
Marco BernardoUniversity of Urbino
qapl-2019-papers
16:00 - 18:00: QAPL - Session IV at S7
qapl-2019-papers16:00 - 16:30
Talk
Kevin BatzRWTH Aachen University, Benjamin Lucien KaminskiRWTH Aachen University; University College London, Joost-Pieter KatoenRWTH Aachen University, Christoph MathejaRWTH Aachen University, Thomas NollRWTH Aachen University
DOI
qapl-2019-papers16:30 - 17:00
Talk
Sergey GoncharovFAU Erlangen-Nürnberg, Lehrstuhl 8, Renato NevesUniversity of Minho & INESC TEC
qapl-2019-papers17:00 - 17:30
Talk
qapl-2019-papers17:30 - 18:00
Talk
Marco BernardoUniversity of Urbino

Sun 7 Apr 2019

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