Skip to main content
PRL Project

Introduction to the Fall Seminar Series

by Robert L. Constable

I will give an overview of the topics that will be presented in the twelve upcoming PRL seminars this fall. The talk will stress three interlocking aspects of the PRL project: applied logic (especially type theory and automated reasoning); formal digital libraries; and software system verification, especially for distributed systems.

I will focus on the value of formalized computational mathematics and hope to stimulate discussion of this topic.