Write a Blog >>
VenueHilton St. Petersburg Bayfront
Room nameRoom HTC 3
Floor0
Room number
Capacity0
Additional informationThere is no additional information of this room available.
Program

Mon 18 Jan

POPL-2016-tutorials
08:30 - 10:00: Tutorials - T5: Higher-Order Model Checking at Room HTC 3
POPL-2016-tutorials145310220000008:30 - 10:00
Talk
POPL-2016-tutorials
10:30 - 12:00: Tutorials - T4: Programs and Proofs in the Coq Proof Assistant at Room HTC 3
POPL-2016-tutorials145310940000010:30 - 12:00
Talk
Link to publication
POPL-2016-tutorials
14:00 - 15:30: Tutorials - T4: Programs and Proofs in the Coq Proof Assistant at Room HTC 3
POPL-2016-tutorials145312200000014:00 - 15:30
Talk
Link to publication
POPL-2016-tutorials
16:00 - 17:30: Tutorials - T5: Higher-Order Model Checking at Room HTC 3
POPL-2016-tutorials145312920000016:00 - 17:30
Talk

Mon 18 Jan 2016

No events planned yet, please check back later.