CPP 2016
Mon 18 - Tue 19 January 2016 St. Petersburg, Florida, United States
co-located with POPL 2016

I will discuss the importance, uses, and future directions of formal verification from the point of view of a mathematical foundationalist. These include issues of certainty, proof structure, and (finitary) completeness and decidability.

Mon 18 Jan
Times are displayed in time zone: (GMT-05:00) Guadalajara, Mexico City, Monterrey change

09:00 - 10:00: Session 1: Invited talk by Harvey FriedmanCPP at Room St Petersburg II
09:00 - 10:00
Talk
CPP
Harvey FriedmanOhio State University