VenueOmni Hotel
Room nameBradbury
Floor0
Room number
Capacity0
Additional informationThere is no additional information of this room available.
Program

Mon 8 Jan

POPL-2018-TutorialFest
09:00 - 10:30: TutorialFest - Equational reasoning for probabilistic programming at Bradbury
POPL-2018-TutorialFest151539840000009:00 - 10:30
Talk
Media Attached
POPL-2018-TutorialFest
11:00 - 12:00: TutorialFest - Equational reasoning for probabilistic programming at Bradbury
POPL-2018-TutorialFest151540560000011:00 - 12:00
Talk
Media Attached
POPL-2018-TutorialFest
14:00 - 15:30: TutorialFest - Computational Higher Type Theory at Bradbury
POPL-2018-TutorialFest151541640000014:00 - 15:30
Talk
Media Attached
POPL-2018-TutorialFest
16:00 - 17:00: TutorialFest - Computational Higher Type Theory at Bradbury
POPL-2018-TutorialFest151542360000016:00 - 17:00
Talk
Media Attached

Tue 9 Jan

pps-2018
09:00 - 10:00: PPS 2018 - SESSION I (invited talk) at Bradbury
Chair(s): Andrew D. Gordon
pps-2018151548480000009:00 - 10:00
Talk
pps-2018
10:00 - 10:30: PPS 2018 - POSTER SESSION (14 posters - not talks) at Bradbury
pps-2018151548840000010:00 - 10:02
Talk
pps-2018151548852900010:02 - 10:04
Talk
pps-2018151548865700010:04 - 10:06
Talk
Pre-print
pps-2018151548878600010:06 - 10:08
Talk
pps-2018151548891400010:08 - 10:10
Talk
pps-2018151548904300010:10 - 10:12
Talk
pps-2018151548917100010:12 - 10:15
Talk
Link to publication Pre-print
pps-2018151548930000010:15 - 10:17
Talk
Pre-print
pps-2018151548942900010:17 - 10:19
Talk
pps-2018151548955700010:19 - 10:21
Talk
Link to publication File Attached
pps-2018151548968600010:21 - 10:23
Talk
pps-2018151548981400010:23 - 10:25
Talk
pps-2018151548994300010:25 - 10:27
Talk
pps-2018151549007100010:27 - 10:30
Talk
pps-2018
14:00 - 15:30: PPS 2018 - SESSION III (invited tutorial + 1 talk) at Bradbury
Chair(s): Cameron Freer
pps-2018151550280000014:00 - 15:00
Talk
pps-2018151550640000015:00 - 15:30
Talk

Tue 9 Jan 2018

Room9:003010:003011:003012:003013:003014:003015:003016:003017:003018:0030
Bradbury

Tue 9 Jan 2018

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:0015304518:00153045
Bradbury