PADL
Mon 18 - Tue 19 January 2016 St. Petersburg, Florida, United States
co-located with POPL 2016
VenueHilton St. Petersburg Bayfront
Room nameRoom HTC 3
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 18 Jan

Displayed time zone: Guadalajara, Mexico City, Monterrey change

08:30 - 10:00
T5: Higher-Order Model CheckingPOPL Tutorials at Room HTC 3
08:30
90m
Talk
T5: Higher-Order Model Checking
POPL Tutorials
Naoki Kobayashi University of Tokyo, C.-H. Luke Ong University of Oxford, UK
10:30 - 12:00
T4: Programs and Proofs in the Coq Proof AssistantPOPL Tutorials at Room HTC 3
10:30
90m
Talk
T4: Programs and Proofs in the Coq Proof Assistant
POPL Tutorials
Robert Rand University of Pennsylvania, Arthur Azevedo de Amorim University of Pennsylvania
Link to publication
14:00 - 15:30
T4: Programs and Proofs in the Coq Proof AssistantPOPL Tutorials at Room HTC 3
14:00
90m
Talk
T4: Programs and Proofs in the Coq Proof Assistant (Advanced Material)
POPL Tutorials
Robert Rand University of Pennsylvania, Arthur Azevedo de Amorim University of Pennsylvania
Link to publication
16:00 - 17:30
T5: Higher-Order Model CheckingPOPL Tutorials at Room HTC 3
16:00
90m
Talk
T5: Higher-Order Model Checking
POPL Tutorials
Naoki Kobayashi University of Tokyo, C.-H. Luke Ong University of Oxford, UK

Mon 18 Jan

Displayed time zone: Guadalajara, Mexico City, Monterrey change