| 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