Fall 2019

Practical Proof Systems: Implementations, Applications, and Next Steps

Monday, Sep. 23, 2019 11:00 am12:00 pm PDT

Add to Calendar


Riad Wahby (Stanford University) 

This talk sketches the built proof systems landscape, and discusses current and potential future applications of these systems in practice. The focus is both on the relative strengths and weaknesses of existing approaches and on the challenges common to all systems. We close with a brief "wish list" of open problems that have the potential to reshape this exciting research area.