|
|
|
Organizers

- General Chair:
- Program Chair:
-
Program Committee:
| Lars Birkedal | (IT University of Copenhagen, Denmark) |
| Martin Hofmann | (Univ of Munich, Germany) |
| Kohei Honda | (Queen Mary, University of London, UK) |
| Atsushi Igarashi | (Kyoto University, Japan) |
| Suresh Jagannathan | (Purdue University, USA) |
| Annie Liu | (State University of New York at Stony Brook, USA) |
| Shin-Cheng Mu | (Academia Sinica, Taiwan) |
| Henrik Nilsson | (University of Nottingham, UK) |
| Michael Norrish | (NICTA, Australia) |
| Jens Palsberg | (University of California, Los Angeles, USA) |
| G. Ramalingam | (Microsoft Research, India) |
| Zhendong Su | (University of California, Davis, USA) |
| Martin Sulzmann | (National University of Singapore, Singapore) |
| Eijiro Sumii | (Tohoku University, Japan) |
| Jerome Vouillon | (CNRS, France) |
| Kwangkeun Yi | (Seoul National University, Korea) |
| Jian Zhang | (Chinese Academy of Sciences, China) |
- Poster Session Chair:
- Local Arrangement Chair:
- Conference Secretary:
| Ms Ho Siew Foong |
(National University of Singapore, Singapore) |
Invited Speakers

Sponsors

The symposion is organized by the School of Computing, National University
of Singapore, and sponsored by the Asian Association for Foundation of Software.
Supported by Lee Foundation.
|