Organizing Committee

Mirna Adriani, Universitas Indonesia, ID (General Chair)

Anthony Widjaja Lin, Technische Universität Kaiserslautern, DE (Program Chair)

Jens Dietrich, Victoria University of Wellington, NZ (Publicity Chair)


Program Committee

Timos Antonopoulos, Yale University, US

Sandrine Blazy, Univ Rennes- IRISA, FR

Yu-Fang Chen, Academia Sinica, TW

Silvia Crafa, University of Padova, IT

Vijay D’Silva, Google, US

Jens Dietrich, Victoria University of Wellington, NZ

Rayna Dimitrova, University of Leicester, UK

Julian Dolby, IBM Research, US

Jeremy Gibbons, University of Oxford, UK

Matthew Hague, University of London, UK

Philipp Haller, KTH Royal Institute of Technology, DE

Ichiro Hasuo, National Institute of Informatics, JP

Aquinas Hobor, National University of Singapore, SG

Ohad Kammar, University of Edinburgh, UK

Johannes Kinder, Bundeswehr University Munich, DE

Ekaterina Komendantskaya, Heriot-Watt University, UK

Laura Kovacs, Chalmers University of Technology, SE

Quang Loc Le, Teesside University, UK

Martin Lester, University of Reading, UK

Hongjin Liang, Nanjing University, CN

Anthony Widjaja Lin, Technische Universität Kaiserslautern, DE

Roland Meyer, Technische Universität Braunschweig, DE

Alexandra Silva, University College London, UK

Makoto Tatsuta, National Institute of Informatics, JP

Tachio Terauchi, Waseda University, JP

Peter Thiemann, University of Freiburg, DE

Alwen Tiu, Australian National University, AU

Takeshi Tsukada, University of Tokyo, JP

Hiroshi Unno, University of Tsukuba, JP

Tomas Vojnar, Brno University of Technology, CZ

Lijun Zhang, Chinese Academy of Sciences, CN

Damien Zufferey, MPI-SWS, DE

Florian Zuleger, TU Vienna, AT

Wei-Ngan Chin, National University of Singapore, SG

Atsushi Igarashi, Kyoto University, JP

Bor-Yuh Evan Chang, University of Colorado Boulder, US

Xinyu Feng, Nanjing University, CN

Yuxi Fu, Shanghai Jiao Tong University, CN

Jacques Garrigue, Nagoya University, JP

Zhenjiang Hu, National Institute of Informatics, JP

Ranjit Jhala, University of California, US

Yukiyoshi Kameyama, University of Tsukuba, JP

Naoki Kobayashi, University of Tokyo, JP

Shin-Cheng Mu, Academia Sinica, TW

Sungwoo Park, Pohang University of Science and Technology, KR

Sukyoung Ryu, KAIST, KR

Chung-chieh Shan, Indiana University, US

Zhong Shao, Yale University, US

Harald Sondergaard, University of Melbourne, AU

Kazunori Ueda, Waseda University, JP

Hongseok Yang, KAIST, KR

Kwangkeun Yi, Seoul National University, KR