Chronological Index:
|
Variations on a Proof by Smullyan
| Matt Fluet, May 5, 2003 | |
No PRL Seminar -- Postponed until next week
| April 28, 2003 | |
Current Research Summaries
| Various, April 21, 2003 | |
Continuing Discussion of the NSDL
| Robert Constable, April 14, 2003 | |
No PRL Seminar
| April 7, 2003 | |
Enabling Active Mathematical Documents in the National Science Digital Library
| Robert Constable, March 31, 2003 | |
A Reconfigurable Atomic Memory Service for Dynamic Networks
| Alex Shvartsman, March 24, 2003 | |
Representing Red-Black Trees in MetaPRL
| Alexei Kopylov, March 10, 2003 | |
Online Demonstration of Syntactic Reflection.
Realizing an Argument about Syntax (Tarski).
| Eli Barzilay, March 3, 2003 | |
Implementing the Logic of Events
| Mark Bickford, February 24, 2003 | |
Distributed Snapshot Algorithms
| Keshav Pingali, February 17, 2003 | |
Developing Tools for Reflection
| Eli Barzilay, February 10, 2003 | |
Proof Tools and Correct Program Development
| Aaron Stump, February 3, 2003 | |
Uri Abraham's Models for Concurrency
| Robert Constable and Sabina Petride, January 27, 2003 | |
Organizational Meeting
| January 20, 2003 | |
Continuing Discussion of Objects
| Alexei Kopylov and Robert Constable, December 2, 2002 | |
Classes and Objects
| Robert Constable, November 25, 2002 | |
Continuing on Objects and Classes
| Alexei Kopylov, November 18, 2002 | |
Abstact Data Structures, Objects and Classes in the Nuprl Type Theory
| Alexei Kopylov, November 11, 2002 | |
No PRL Seminar
| November 4, 2002 | |
|
|
The Calculemus Autumn School
| Christoph Kreitz, Matthew Fluet, and Sabina Petrides, October 28, 2002 | |
HOAS -- Higher Order Abstract Syntax: a Survey
| Eli Barzilay, October 21, 2002 | |
Fall Break - No PRL Seminar
| October 14, 2002 | |
An ACL2 Demo
| J Strother Moore, October 7, 2002 | |
Application of Event Systems and the Logic of Distributed Systems to Leader Election
| Mark Bickford, September 30, 2002 | |
PRL Group Staff Meeting - No PRL Seminar
| September 23, 2002 | |
Introduction to Event Systems and the Logic of Distributed Systems
| Mark Bickford and Robert Constable, September 16, 2002 | |
Organizational Meeting
| September 9, 2002 | |
|
|