In 1979 we started a Tuesday seminar which has been running continuously ever since. The goal of the seminar for the first three years was to design a system for writing correct programs by progressive refinement. The result was the LambdaPRL system which evolved into Nuprl. Nowadays we cover topics related to the project goals. There has been a strong emphasis on topics in programming languages and automated reasoning.
Selected abstracts are available at this Website. Slides are provided for a number of the more recent seminars by following the links.
We hope you will find this information useful.