Practical proof systems: implementations, applications, and next steps

Speaker

Dept. of Computer Science, Stanford University

Host

Computational Structures Group
MIT
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.