P R O G R A M  C O M M I T T E E 

Z. Ariola U. of Oregon

M. Ayala Rincon U. of Braslia

A. Bauer U. of Ljubljana

H. Geuvers  U. of Nijmegen

F. Bonchi U. of Pisa

S. Broda U. of Porto

U. Dal Lago U. of Bologna & Inria

U. De’Liguoro U. of Torino

D. Kapur U. of New Mexico

P. Dybjer Chalmers U. of Technology

M. Fernandez King’s College London

J. Giesl RWTH Aachen

N. Hirokawa JAIST

S. Lucas U. Politecnica de Valencia

A. Middeldorp U. of Innsbruck

F. Pfenning Carnegie Mellon U.

B. Pientka McGill U.

J. van de Pol Aarhus U. & U. of Twente

F. van Raamsdonk VU Amsterdam

C. Schurmann ITU Copenhagen

P. Severi U. of Leicester

A. Silva U. College London

S. Staton Oxford U.

T. Streicher TU Darmstadt

A. Stump U. of Iowa

N. Tabareau Inria

S. Tison U. of Lille

A. Tiu Australian National U.

T. Tsukada U. of Tokyo

J. Urban CTU Prague

P. Urzyczyn U. of Warsaw

J. Waldmann Leipzig U. of Applied Sciences