Georg Gottlob, Oxford University and Technical University Vienna

J Strother Moore, University of Texas at Austin

Martín Abadi, Microsoft Research Silicon Valley and University of California at Santa Cruz

Vincent Danos, University of Edinburgh

Catuscia Palamidessi, INRIA and LIX, École Polytechnique