credits
Program Commitee

Stephen Brookes (CMU) and Michael Mislove (Tulane), chairs

  • Mariangiela Dezani-Ciancaglini, Torino
  • Martìn Escardò, Birmingham
  • Cedric Fournet, Microsoft
  • Radha Jagadeesen, DePaul
  • Achim Jung, Birmingham
  • Peeter Laud, Tartu
  • Catherine Meadows, NRL
  • Catuscia Palamidessi, INRIA
  • Prakash Panangaden, McGill
  • Roberto Segala, Verona
  • Phil Scott, Ottawa
  • Simona Ronchi della Rocca, Torino
  • Alex Simpson, Edinburgh