RTA-TLCA Program Committee
Andreas Abel (Gothenburg) |
Beniamino Accattoli (Bologna) |
Zena Ariola (Oregon) |
Steffen van Bakel (Imperial College) |
Pierre Clairambault (CNRS) |
Ugo Dal Lago (Bologna) |
Gilles Dowek (Inria, PC chair) |
Santiago Escobar (Valencia) |
Amy Felty (Ottawa) |
Maribel Fernandez (King's college) |
Adrià Gascón (SRI International) |
Jeroen Ketema (Imperial College) |
Christopher Lynch (Clarkson) |
Masahito Hasegawa (Kyoto) |
Olivier Hermant (MINES ParisTech) |
Paul-André Melliès (CNRS) |
Alexandre Miquel (UdelaR) |
César Muñoz (NASA) |
Vivek Nigam (Paraíba) |
Luke Ong (Oxford) |
Brigitte Pientka (McGill) |
Femke van Raamsdonk (Amsterdam) |
Jakob Rehof (Dortmund) |
David Sabel (Frankfurt) |
Gernot Salzer (Wien) |
Sylvain Salvati (Inria) |
Aleksy Schubert (Warszawa) |
Peter Selinger (Dalhousie) |
Paula Severi (Leicester) |
Christian Sternagel (JAIST) |
Kazushige Terui (Kyoto) |
Mateu Villaret (Girona) |
Fer-Jan de Vries (Leicester) |
Harald Zankl (Innsbruck) |