BEAT 2019
Sun 13 - Sat 19 January 2019 Cascais, Portugal
co-located with POPL 2019
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

Displayed time zone: Belfast change

09:00 - 10:30
09:00
90m
Talk
[T4] Programming Cyber-Physical Systems with Logic
POPL TutorialFest
André Platzer Carnegie Mellon University
11:00 - 12:30
11:00
90m
Talk
[T4] Programming Cyber-Physical Systems with Logic
POPL TutorialFest
André Platzer Carnegie Mellon University
14:00 - 15:30
14:00
90m
Talk
[T7] Higher-Order Probabilistic Programming
POPL TutorialFest
Ugo Dal Lago University of Bologna, Italy / Inria, France
Pre-print
16:00 - 17:30
16:00
90m
Talk
[T7] Higher-Order Probabilistic Programming
POPL TutorialFest
Ugo Dal Lago University of Bologna, Italy / Inria, France
Pre-print

Mon 14 Jan

Displayed time zone: Belfast change

Mon 14 Jan

Displayed time zone: Belfast change