# * Introduction to the Fall Seminar Series *

## by Robert L. Constable

2003-2004

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.