Invited Speakers

Joint ICALP/PPDP

• Giuseppe Castagna (ENS Paris)

  A Gentle Introduction to Semantic Subtyping

• John Mitchell (Stanford University)

  Security Analysis of Network Protocols: Logical and Computational Methods

ICALP

• Leonid Libkin (University of Toronto)

  Logics for Unranked Trees: An Overview

• Burkhard Monien (Universitat Paderborn)

  Nash Equilibria, the Price of Anarchy and Fully Mixed Nash Equilibrium Conjecture

• Adi Shamir (Weizmann Institute)

  Cryptography - State of the Science

• Leslie Valiant (Harvard University)

  Holographic Circuits