Blogs (1) >>
POPL 2019
Sun 13 - Sat 19 January 2019 Cascais, Portugal
VenueHotel Cascais Miragem
Room nameSala VI
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 3ATutorialFest at Sala VI
09:00
90m
Talk
[T3] Linear and Graded Modal Types for Fine-Grained Program Reasoning
TutorialFest
Dominic OrchardUniversity of Kent, UK, Harley D. Eades IIIAugusta University, Vilem-Benjamin LiepeltUniversity of Kent, UK
11:00 - 12:30
Tutorial 3BTutorialFest at Sala VI
11:00
90m
Talk
[T3] Linear and Graded Modal Types for Fine-Grained Program Reasoning
TutorialFest
Dominic OrchardUniversity of Kent, UK, Harley D. Eades IIIAugusta University, Vilem-Benjamin LiepeltUniversity of Kent, UK
14:00 - 15:30
Tutorial 8ATutorialFest at Sala VI
14:00
90m
Talk
[T8] Building Your Own Modular Static Analyser with Infer
TutorialFest
Jules VillardFacebook London, Ezgi ÇiçekFacebook London, Mehdi BouazizFacebook London, Nikos Gorogiannis
16:00 - 17:30
Tutorial 8BTutorialFest at Sala VI
16:00
90m
Talk
[T8] Building Your Own Modular Static Analyser with Infer
TutorialFest
Jules VillardFacebook London, Ezgi ÇiçekFacebook London, Mehdi BouazizFacebook London, Nikos Gorogiannis

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

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