Skip to main content
PRL Project

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.

Time: 12:05-1:00
Location: Upson 5126