Programme Committee
Markus Aderhold |
(TU Darmstadt, Germany) |
Arjeh Cohen | (Eindhoven University of Technology, The Netherlands) |
Thierry Coquand | (Chalmers University of Technology, Sweden) |
James H. Davenport | (University of Bath, UK) |
David Delahaye | (CNAM, France), Chair |
Lucas Dixon | (University of Edinburgh, UK) |
William M. Farmer | (McMaster University, Canada) |
Temur Kutsia | (RISC, Austria) |
Assia Mahboubi | (INRIA Saclay, France) |
Renaud Rioboo | (ENSIIE, France), Chair |
Julio Rubio | (Universidad de La Rioja, Spain) |
Volker Sorge | (University of Birmingham, UK) |
Stephen M. Watt | (University of Western Ontario, Canada) |
Freek Wiedijk | (Radboud University Nijmegen, The Netherlands) |
Wolfgang Windsteiger | (RISC, Austria) |
|