10:30 Joshua Guttman
Authentication Tests: Analyzing and Designing Cryptographic Protocols

Noon Lunch

10:30 Dexter Kozen
Publication/Citation: A Proof-Theoretic Approach

Noon Lunch

9:45 Gordon Plotkin
An Algebraic View of Computational Effects

11:00 Sergei Artemov
Explicit logic for computer science, III

Noon Lunch

3:30  Sergei Artemov
Explicit logic for computer science, I

4:45 Samson Abramsky
Predicative Copying and Polynomial Time

6:00 Reception

1:30 Nachum Dershowitz
Abstract Canonical Inference

2:45 Sam Buss
Taylor Series Methods for Rigid Body Motion and Extensions to Lie Groups

4:00 Sergei Artemov
Explicit logic for computer science, II

7:00 Conference Dinner

1:30 Juris Hartmanis
P versus NP, Revisited

2:45 Helmut Schwichtenberg
An arithmetic for polynomial-time computation

4:00 Moshe Vardi
Automated Verification = Graphs, Automata, and Logic