University of Oregon
Speakers
Iliano Cervesato
ITT Industries
Linear Logic and Security
Roy L. Crole
University of Leicester
Coinductive Types and Bisimulation
Vincent Danos
University of Paris
Linear Logic
Cedric Fournet
Microsoft Research, Cambridge
Crytographic Protocols
Robert Harper
Carnegie Mellon University
Type Theory and its Logical Interpretation
Catherine Meadows
Naval Research Laboratory
Formal Methods and Security
Christine Paulin-Mohring
Universite' Paris Sud, CNRS, INRIA
Inductive Types
Vladimiro Sassone
University of Sussex
Global Computing
David Walker
Princeton University
Typed Assembly Language and Proof Carrying Code
Steve Zdancewic
University of Pennsylvania
Language-Based Information-Flow Security
This page is the property of the University of Oregon