Talks
Fall 2019

Practical Proof Systems: Implementations, Applications, and Next Steps

Monday, September 23rd, 2019 11:00 am12:00 pm

Add to Calendar

Speaker: 

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.