Program Committee

Co-chairs

Philip Wadler(Edinburgh, UK)
Masami Hagiya(Tokyo, Japan)

Members

Vincent Danos(Paris, France)
Jacques Garrigue(Nagoya, Japan)
Manuel Hermenegildo(Madrid, Spain & New Mexico, US)
Gabrielle Keller(UNSW, Sydney, Australia)
Michael Rusinowitch(INRIA Lorraine, France)
Konstantinos Sagonas(Uppsala, Sweden)
Ken Satoh(NII, Tokyo, Japan)
Peter Selinger(Dalhousie, Canada)
Eijiro Sumii(Tohoku, Japan)
Naoyuki Tamura(Kobe, Japan)
Peter Thiemann(Freiburg, Germany)
David Warren(Stony Brook, US)