Introduction to the Fall Seminar Series
by Robert L. Constable
PRL Seminar will meet Fridays this fall starting on September 7.
The first PRL Seminar will be an organizational meeting plus some narrative from Bob on the state of type theory in the world as he saw it from his meetings and lectures in Europe this summer and from discussions at the Oregon Programming Languages Summer School (OPLSS).
We expect that the seminar this semester will be a balance between type theory, logic, and distributed system theory. There will be some lectures on the new completeness theorem that Bob and Mark announced last year. Mark is working on implementing parts of it in Nuprl.
Location: Upson 5126