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

Displayed time zone: Guadalajara, Mexico City, Monterrey change

09:00 - 10:00
Session 1: Invited talk by Harvey FriedmanCPP at Room St Petersburg II
Perspectives on Formal Verfication
Harvey Friedman Ohio State University