Chronological Index:
2003-2004
Summer '04 (off-season presentations)
| Wojciech Moczydlowski, July 27, 2004 |
Spring '04 Semester
|
Enhancing the search of mathematics & Hot topics in mathematical search | ||
| Lori Lorigo, May 3, 2004 | ||
| Mark Bickford, April 26, 2004 | ||
| Evan Moran, April 19, 2004 | ||
| Evan Moran, April 12, 2004 | ||
| Amanda Holland-Minkley, April 5, 2004 | ||
| Stuart Allen, March 8, 2004 | ||
| Important Episodes in the History of Constructive Mathematics--including the frog and mouse wars | ||
| Robert Constable, March 1, 2004 | ||
| Constructive Proofs and Program Extraction | ||
| Christoph Kreitz, February 23, 2004 | ||
| Comparing Aspects of Set Theory and Type Theory | ||
| Robert Constable, February, 16, 2004 | ||
|
Applied Logic as Part of an Effort to Accumulate Precise Knowledge
(with special attention to Computational Type Theory and Nuprl) Stuart Allen, February 9, 2004 | |
A Linguistic View of Constuctive Type Theory
| Amanda Holland-Minkley, February 2, 2004 | |
Planning Session for Spring Seminar Series
| Robert Constable, January 26, 2004 | |
Fall '03 Semester
Adapting Proofs-as-Programs for the Synthesis of Imperative SML Programs
| Iman Poernomo, December 8, 2003 | |
Remarks on the FDL (Formal Digital Library) Project -- Continuation
of talk begun November 17
| Stuart Allen, December 1, 2003 | |
Expressing and Implementing the Computational Content Implicit
in Smullyan's Account of Boolean Valuations
| Matt Fluet, November 24, 2003 | |
Remarks on the FDL (Formal Digital Library) Project
| Stuart Allen, November 17, 2003 | |
Verified Implementation of Red-Black Trees
| Alexei Kopylov, November 10, 2003 | |
NO PRL SEMINAR -- Cancelled
| November 3, 2003 | |
Steps Toward a World Wide Digital Library of Formal Algorithmic Knowledge
| Robert Constable, October 27, 2003 | |
Knowledge-based Specifications in the Logic of Events
| Sabina Petride, October 20, 2003 | |
NO PRL SEMINAR -- Fall Break
| October 13, 2003 | |
Leader Election Protocols
| Mark Bickford, October 6, 2003 | |
An Introduction to Event Systems
| Robert Constable, September 29, 2003 | |
Discussion of Methods of Sharing Formal Mathematics
| Evan Moran and Group, September 22, 2003 | |
Bridges Between Set Theory and Type Theory
| Evan Moran, September 15, 2003 | |
Introduction to the Fall Seminar Series
| Robert Constable, September 8, 2003 | |