Chronological Index:
2003-2004
Summer '04 (off-season presentations)
Spring '04 Semester
|
Enhancing the search of mathematics & Hot topics in mathematical search
| | Lori Lorigo, May 3, 2004
| |
The Logic of Events and Event Structure Patterns
| | Mark Bickford, April 26, 2004
| |
CFZ From Below (continued)
| | Evan Moran, April 19, 2004
| |
CFZ From Below
| | Evan Moran, April 12, 2004
| |
Nuprl Library Annotation
| | Amanda Holland-Minkley, April 5, 2004
| |
Type Theory as a Legacy from Logicism
| | 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 |
|
|
Planning Session for Spring Seminar Series
| Robert Constable, January 26, 2004 |
|
|
Fall '03 Semester
NO PRL SEMINAR -- Cancelled
| November 3, 2003 |
|
|
NO PRL SEMINAR -- Fall Break
| October 13, 2003 |
|
|
|