Invited Speakers

• Hubert Comon-Lundh (RCIS, AIST, Tokyo and ENS Cachan)
  About Models of Security Protocols
   
• Uriel Feige (Weizmann)
  On Estimation Algorithms versus Approximation Algorithms
   
• Erich Grädel (Aachen)
  Banach-Mazur Games on Graphs
   
• Simon Peyton Jones (Microsoft, Cambridge)
  Harnessing the Multicores: Nested Data Parallelism in Haskell
   
• Leslie Valiant (Harvard)
  Knowledge Infusion