Femke van Raamsdonk | (VU University Amsterdam, The Netherlands) |
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