TLCA 2013 Organizers
Conference Chair
Herman Geuvers (Radboud University Nijmegen, Netherlands)
Program Chair
Masahito Hasegawa (Kyoto University, Japan)
<tlca2013@easychair.org>
Program Committee
- Andreas Abel (LMU München, Germany)
- Patrick Baillot (CNRS and ENS Lyon, France)
- Nick Benton (Microsoft Cambridge, UK)
- Lars Birkedal (IT University of Copenhagen, Denmark)
- Herman Geuvers (Radboud University Nijmegen, Netherlands)
- Masahito Hasegawa (Kyoto University, Japan) (PC chair)
- Naoki Kobayashi (University of Tokyo, Japan)
- Paul-André Melliès (CNRS and Universite Paris Diderot, France)
- Thomas Streicher (TU Darmstadt, Germany)
- Lorenzo Tortora de Falco (Universita Roma Tre, Italy)
- Stephanie Weirich (University of Pennsylvania, US)
TLCA Steering Committee
- Samson Abramsky (University of Oxford, UK)
- Henk Barendregt (Radboud University Nijmegen, Netherlands)
- Pierre-Louis Curien (CNRS and Universite Paris Diderot, France)
- Mariangiola Dezani-Ciancaglini (Universita di Torino, Italy)
- Martin Hofmann (LMU München, Germany)
- Luke Ong (University of Oxford, UK)
- Simona Ronchi Della Rocca (Universita di Torino, Italy)
- Pawel Urzyczyn (University of Warsaw, Poland)
TLCA Honorary Advisor
Roger Hindley (Swansea University, UK)
TLCA Publicity Chair
Luca Paolini (Universita di Torino, Italy)
Home TLCA 2013 |
Call for Papers |
Accepted Papers |
Invited Speakers |
Organizers
Home RDP 2013 |
Call
for Workshops for RDP 2013 |
Organizing Committee
of RDP 2013
Last update 23 March 2013