RTA logo

RTA 2013 programme committee

PROGRAMME COMMITTEE CHAIR

Femke van Raamsdonk (VU University Amsterdam, The Netherlands)

PROGRAMME COMMITTEE

Eduardo Bonelli National University of Quilmes
Byron Cook Microsoft Research Cambridge
Stephanie Delaune ENS Cachan
Gilles Dowek Inria Paris-Rocquencourt
Maribel Fernandez King's College London
Nao Hirokawa JAIST Ishikawa
Delia Kesner University Paris-Diderot
Helene Kirchner Inria Paris-Rocquencourt
Barbara Koenig University Duisburg Essen
Temur Kutsia Johannes Kepler University Linz
Aart Middeldorp University of Innsbruck
Vincent van Oostrom Utrecht University
Femke van Raamsdonk VU University Amsterdam
Kristoffer Rose IBM Research New York
Manfred Schmidt-Schauss Goethe University Frankfurt
Peter Selinger Dalhousie University
Paula Severi University of Leicester
Aaron Stump The University of Iowa
Tarmo Uustalu Institute of Cybernetics Tallinn
Roel de Vrijer VU University Amsterdam
Johannes Waldmann HTWK Leipzig
Hans Zantema Eindhoven University of Technology

Home RTA 2013 | Invited Speakers | Accepted Papers | Programme Committee | Steering Committee | Call for Papers

Home RDP 2013 | Call for Workshops for RDP 2013 | Organizing Committee of RDP 2013


Last update April 8, 2013.