ETAPS 2001 INVITED LECTURES ON LINE

• Luca Cardelli (Microsoft Research - Cambridge, UK)
  Global Computing
  Presentation (Powerpoint) ;  Presentation (zipped postscript) ; 

• 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) ;