Martin Abadi : Security and Security Protocols
Luca Cardelli : Mobility in distributed systems
Pierre-Louis Curien : Ludics
Vincent Danos : Classical realisability and new forms of control>
Olivier Danvy : Continuations, continuations-Passing Style ans the CPS transformation
Thomas Ehrhard : Quantitative semantics
Cedric Fournet : Mobility in distributed systems
Jean-Yves Girard : Ludics
Jean-Louis Krivine : Applications of realizability to objects and arithmetic
Xavier Leroy : Compilation
Guy McCusker : Game semantics for imperative programs using regular languages
Francois Pottier : Types for Information Flow Analysis