Blogs (1) >>
POPL 2019
Sun 13 - Sat 19 January 2019 Cascais, Portugal
VenueHotel Cascais Miragem
Room nameSala IX
Floor0
Room InformationNo extra information available
Program

You're viewing the program in a time zone which is different from your device's time zone - change time zone

Mon 14 Jan
Times are displayed in time zone: Belfast change

09:00 - 10:30
Tutorial 4ATutorialFest at Sala IX
09:00
90m
Talk
[T4] Programming Cyber-Physical Systems with Logic
TutorialFest
André PlatzerCarnegie Mellon University
11:00 - 12:30
Tutorial 4BTutorialFest at Sala IX
11:00
90m
Talk
[T4] Programming Cyber-Physical Systems with Logic
TutorialFest
André PlatzerCarnegie Mellon University
14:00 - 15:30
Tutorial 7ATutorialFest at Sala IX
14:00
90m
Talk
[T7] Higher-Order Probabilistic Programming
TutorialFest
Ugo Dal LagoUniversity of Bologna, Italy / Inria, France
Pre-print
16:00 - 17:30
Tutorial 7BTutorialFest at Sala IX
16:00
90m
Talk
[T7] Higher-Order Probabilistic Programming
TutorialFest
Ugo Dal LagoUniversity of Bologna, Italy / Inria, France
Pre-print

Mon 14 Jan
Times are displayed in time zone: Belfast change

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Sala IX

Mon 14 Jan
Times are displayed in time zone: Belfast change