ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
Filter
Dates
Rooms
Tracks
Badges
Your 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
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)