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

Sun 7 Apr

hcvs-2019-papers
11:00 - 12:00: HCVS - II at S4 (HCVS)
Chair(s): Mattias UlbrichKarlsruhe Institute of Technology
hcvs-2019-papers11:00 - 11:30
Talk
John P. GallagherRoskilde University
File Attached
hcvs-2019-papers11:30 - 12:00
Full-paper
Emanuele De AngelisUniversity of Chieti-Pescara, Fabio FioravantiUniversity of Chieti-Pescara, Alberto PettorossiUniversity of Rome Tor Vergata, Italy, Maurizio ProiettiCNR-IASI
File Attached
hcvs-2019-papers
13:30 - 15:30: HCVS - III at S4 (HCVS)
Chair(s): John P. GallagherRoskilde University
hcvs-2019-papers13:30 - 14:30
File Attached
hcvs-2019-papers14:30 - 15:00
Talk
Henning BasoldCNRS & ENS Lyon, Ekaterina KomendantskayaHeriot-Watt University, UK
Link to publication
hcvs-2019-papers15:00 - 15:30
Full-paper
Daniel DietschUniversity of Freiburg, Matthias HeizmannUniversity of Freiburg, Jochen HoenickeUniversität Freiburg, Alexander NutzUniversity of Freiburg, Germany, Andreas PodelskiUniversity of Freiburg, Germany
hcvs-2019-papers
16:00 - 18:00: HCVS - IV at S4 (HCVS)
Chair(s): Nikolaj BjørnerMicrosoft Research
hcvs-2019-papers16:00 - 16:30
Talk
Martin BlichaUSI Lugano, Switzerland, Antti Hyvärinen, Jan KofroňCharles University, Natasha SharyginaUSI Lugano, Switzerland
File Attached
hcvs-2019-papers16:30 - 17:00
Experience report
Grigory FedyukovichPrinceton University

Sun 7 Apr 2019

Room9:003010:003011:003012:003013:003014:003015:003016:003017:003018:0030
S4 (HCVS)
09:00 - 10:30
11:00 - 12:00
13:30 - 15:30
16:00 - 18:00