CPP
Mon 18 - Tue 19 January 2016 St. Petersburg, Florida, United States
co-located with POPL 2016
Filter
Dates
Rooms
Tracks
Badges
Your Program

Mon 18 Jan 2016

Mon 18 Jan

CPP-2016-main
09:00 - 10:00: CPP - Session 1: Invited talk by Harvey Friedman at Room St Petersburg II
CPP-2016-main145310400000009:00 - 10:00
Talk
CPP-2016-main
14:00 - 15:30: CPP - Session 3: Design and Implementation of Theorem Provers at Room St Petersburg II
CPP-2016-main145312200000014:00 - 14:30
Talk
CPP-2016-main145312380000014:30 - 15:00
Talk
CPP-2016-main145312560000015:00 - 15:30
Talk

Tue 19 Jan

CPP-2016-main
09:00 - 10:00: CPP - Session 5: Invited talk by Leonardo de Moura at Room St Petersburg II
CPP-2016-main145319040000009:00 - 10:00
Talk
CPP-2016-main
10:30 - 12:00: CPP - Session 6: Foundations at Room St Petersburg II
CPP-2016-main145319580000010:30 - 11:00
Talk
CPP-2016-main145319760000011:00 - 11:30
Talk
CPP-2016-main145319940000011:30 - 12:00
Talk
CPP-2016-main
16:00 - 17:00: CPP - Session 8: Compiler Verification at Room St Petersburg II
CPP-2016-main145321560000016:00 - 16:30
Talk
CPP-2016-main145321740000016:30 - 17:00
Talk
CPP-2016-main
18:00 - 21:00: CPP - CPP Reception, sponsored by the DeepSpec project at Room St Petersburg I
CPP-2016-main145322280000018:00 - 21:00
Social Event
iCalendar subscription service for your personal schedule
You first need to have starred events () in order to use the iCalendar subscirption service.
Currently Viewed Program
Downloads the currently viewed program (with filters applied) in iCal format
Session Calendar (ical)
Detailed Event Calendar (ical)