Write a Blog >>
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
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

08:30 - 10:00
T5: Higher-Order Model CheckingTutorials at Room HTC 3
08:30
90m
Talk
T5: Higher-Order Model Checking
Tutorials
Naoki KobayashiUniversity of Tokyo, C.-H. Luke OngUniversity of Oxford, UK
10:30 - 12:00
T4: Programs and Proofs in the Coq Proof AssistantTutorials at Room HTC 3
10:30
90m
Talk
T4: Programs and Proofs in the Coq Proof Assistant
Tutorials
Robert RandUniversity of Pennsylvania, Arthur Azevedo de AmorimUniversity of Pennsylvania
Link to publication
14:00 - 15:30
T4: Programs and Proofs in the Coq Proof AssistantTutorials at Room HTC 3
14:00
90m
Talk
T4: Programs and Proofs in the Coq Proof Assistant (Advanced Material)
Tutorials
Robert RandUniversity of Pennsylvania, Arthur Azevedo de AmorimUniversity of Pennsylvania
Link to publication
16:00 - 17:30
T5: Higher-Order Model CheckingTutorials at Room HTC 3
16:00
90m
Talk
T5: Higher-Order Model Checking
Tutorials
Naoki KobayashiUniversity of Tokyo, C.-H. Luke OngUniversity of Oxford, UK

Mon 18 Jan
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change

Mon 18 Jan
Times are displayed in time zone: Guadalajara, Mexico City, Monterrey change