Michael Fourman (University of Edinburgh, UK)
Propositional Reasoning
Ole Lehrmann Madsen (Århus Universitet, Denmark)
Virtual Classes and their Implementation
Presentation (Powerpoint) ;
Presentation (pdf) ;
John Mitchell (Stanford University, USA)
A Probabilistic Polynomial-Time Process Calculus
for Security Protocol Analysis
Presentation (Powerpoint) ;
Presentation (pdf) ;
Gordon Plotkin
(University of Edinburgh, UK)
Adequacy for Algebraic Effects
Abstract
Bran Selic (Rational Software Inc., Canada)
Physical Programming: Beyond Mere Logic
Abstract
Presentation (Powerpoint) ;
Moshe Y. Vardi (Rice University, USA)
Branching vs. Linear Time: Final Showdown
Abstract
Presentation (pdf) ;