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.