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

09:00 - 10:00: CPP - Session 1: Invited talk by Harvey Friedman at Room St Petersburg II
CPP-2016-main145310400000009:00 - 10:00