DLS 2017
Sun 22 - Fri 27 October 2017 Vancouver, Canada
co-located with SPLASH 2017
VenueHyatt Regency Vancouver
Room nameRegency C
Floor0
Room number
Capacity0
Additional informationThere is no additional information of this room available.
Program

Sun 22 Oct

scala-2017-papers
08:30 - 10:00: - Keynote Sunday at Regency C
scala-2017-papers150865470000008:45 - 09:00
Day opening
scala-2017-papers150865560000009:00 - 10:00
Talk
scala-2017-papers
10:30 - 12:00: - Types at Regency C
scala-2017-papers150866100000010:30 - 11:00
Talk
DOI
scala-2017-papers150866280000011:00 - 11:30
Talk
DOI Pre-print
scala-2017-papers150866460000011:30 - 12:00
Talk
DOI
scala-2017-papers
13:30 - 15:00: - Compilation at Regency C
scala-2017-papers150867180000013:30 - 14:00
Talk
DOI
scala-2017-papers150867360000014:00 - 14:30
Talk
DOI
scala-2017-papers150867540000014:30 - 15:00
Talk
DOI
scala-2017-papers
15:30 - 17:00: - Open-source & Student Talks at Regency C
scala-2017-papers150867900000015:30 - 15:52
Talk
scala-2017-papers150868035000015:52 - 16:15
Talk
scala-2017-papers150868170000016:15 - 16:37
Talk
scala-2017-papers150868305000016:37 - 17:00
Talk

Mon 23 Oct

scala-2017-papers
08:30 - 10:00: - Keynote Monday at Regency C
scala-2017-papers150874110000008:45 - 09:00
Day opening
scala-2017-papers150874200000009:00 - 10:00
Talk
scala-2017-papers
15:30 - 17:00: - Unconference at Regency C
Chair(s): Jonathan Immanuel Brachthäuser
scala-2017-papers150876540000015:30 - 17:00
Talk

Tue 24 Oct

vmil-2017
08:30 - 09:30: - DLS 2017 Invited Talk at Regency C
Chair(s): Davide Ancona
vmil-2017150882660000008:30 - 09:30
Talk
dls-2017
13:30 - 15:00: DLS 2017 - Session 3 at Regency C
Chair(s): Davide Ancona
dls-2017150884460000013:30 - 14:30
Talk
dls-2017150884820000014:30 - 15:00
Talk

Wed 25 Oct

splash-2017-keynotes
08:30 - 10:00: - Keynote Wednesday at Regency C
splash-2017-keynotes150891300000008:30 - 08:40
Day opening
splash-2017-keynotes150891360000008:40 - 08:45
Awards
splash-2017-keynotes150891390000008:45 - 10:00
Talk

Thu 26 Oct

splash-2017-keynotes
08:30 - 10:00: - Keynote Thursday at Regency C
splash-2017-keynotes150899940000008:30 - 08:45
Awards
splash-2017-keynotes150900030000008:45 - 10:00
Talk
splash-2017-OOPSLA
15:30 - 17:00: - Verification in Practice at Regency C
splash-2017-OOPSLA150902460000015:30 - 15:52
Talk
DOI
splash-2017-OOPSLA150902595000015:52 - 16:15
Talk
DOI
splash-2017-OOPSLA150902730000016:15 - 16:37
Talk
DOI
splash-2017-OOPSLA150902865000016:37 - 17:00
Talk
DOI
splash-2017-keynotes
17:30 - 18:30: - Business Meeting and Awards at Regency C
splash-2017-keynotes150903180000017:30 - 17:40
Talk
splash-2017-keynotes150903240000017:40 - 17:45
Talk
splash-2017-keynotes150903270000017:45 - 17:55
Talk
splash-2017-keynotes150903330000017:55 - 18:05
Talk
splash-2017-keynotes150903390000018:05 - 18:15
Awards
splash-2017-keynotes150903450000018:15 - 18:30
Talk

Fri 27 Oct

splash-2017-keynotes
08:30 - 10:00: - Keynote Friday at Regency C
splash-2017-keynotes150908580000008:30 - 08:40
Day opening
splash-2017-keynotes150908640000008:40 - 08:45
Other
splash-2017-keynotes150908670000008:45 - 08:55
Awards
splash-2017-keynotes150908730000008:55 - 10:00
Talk

Sun 22 Oct 2017

Room8:00309:003010:003011:003012:003013:003014:003015:003016:003017:0030
Regency C
08:30 - 10:00
10:30 - 12:00
13:30 - 15:00
15:30 - 17:00

Mon 23 Oct 2017

Room8:00309:003010:003011:003012:003013:003014:003015:003016:003017:0030
Regency C
08:30 - 10:00
10:30 - 12:00
13:30 - 15:00
15:30 - 17:00

Tue 24 Oct 2017

Room8:00309:003010:003011:003012:003013:003014:003015:003016:003017:0030
Regency C

DLS 2017

Session 1
08:30 - 10:00
08:30 - 09:30

DLS 2017

Session 2
10:30 - 12:00

DLS 2017

Session 3
13:30 - 15:00

DLS 2017

Session 4
15:30 - 17:00

Wed 25 Oct 2017

Room8:00309:003010:003011:003012:003013:003014:003015:003016:003017:0030
Regency C
08:30 - 10:00
10:30 - 12:00
13:30 - 15:00
15:30 - 17:00

Thu 26 Oct 2017

Room8:00309:003010:003011:003012:003013:003014:003015:003016:003017:003018:0030
Regency C
08:30 - 10:00
10:30 - 12:00
13:30 - 15:00
15:30 - 17:00
17:30 - 18:30

Fri 27 Oct 2017

Room8:00309:003010:003011:003012:003013:003014:003015:0030
Regency C
08:30 - 10:00
10:30 - 12:00
13:30 - 15:00

Thu 26 Oct 2017

Room8:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:00153045
Regency C