Organization
ADVISORY BOARD
Zhou Chaochen (Coordinator)
Institute of Software, Chinese Academy of Sciences, China
He Jifeng
East China Normal University, China
Cliff Jones
Newcastle University, UK
Deepak Kapur
University of New Mexico, USA
Li Wei
Beihang University, China
STEERING COMMITTEE
Zhenhua Duan
Xi'dian University, China
Martin Fränzle
University of Oldenburg, Germany
Kim Larsen
Aalborg University, Denmark
Xuandong Li
Nanjing University, China
Zhiming Liu
Birmingham City University,UK
Sriram Rajamani
Microsoft Research, India
Ji Wang
NUDT, China
Kwangkeun Yi
Microsoft Research, India
Naijun Zhan (Chair)
Institute of Software, Chinese Academy of Sciences, China
ORGANIZATION COMMITTEE
General Chairs
Jian Lv, Nanjing University, China
Program Co-chairs
Xuandong Li, Nanjing University, China
Zhiming Liu, Birmingham City University,UK
Wang Yi, Uppsala University, Sweden
Publicity Chairs
Jonathan Bowen, Birmingham City University,UK
Lijun Zhang, Inst. of Software, Chinese Acad. of Sciences
Publication Chair
Martin Fränzle, University of Oldenburg, Germany
Local Organization Chair
Xin Chen, Nanjing University, China
PROGRAM COMMITTEE
Farhad Arbab
CWI and Leiden University,The Netherlands
Luis Barbosa
Universidade do Minho,Portugal
Jonathan Bowen
Birmingham City University,UK
Michael Butler
University of Southampton,UK
Nikolaj Bjorner
Microsoft Research,USA
Van Hung Dang
Vietnam National University,Vientam
Martin Fränzle
University of Oldenburg,Germany
Goran Frehse
Universite Joseph Fourier Grenoble 1-Verimag, France
Lindsay Groves
Victoria University of Wellington,New Zealand
Tei-Wei Guo
National Taiwan University, TW, China
Holger Hermanns
Saarland University,Germany
Ian J. Hayes
University of Queensland,Australia
Gerwin Klein
NICTA and UNSW,Australia
Insup Lee
University of Pennsylvania,USA
Xuandong Li
Nanjing University,China
Shaoying Liu
Hosei University,Japan
Zhiming Liu
Birmingham City University,UK
Mingsong Lu
North Eastern University, China
Xiaoguang Mao
NUDT,China
Jun Pang
University of Luxembourg,Luxembourg
Paritosh Pandya
Tata Institute of Fundamental Research Research,India
Paul Pettersson
Mälardalen University, Sweden
Zongyan Qiu
Peking University,China
Shengchao Qin
Teesside University,UK
Jean-Francois Raskin
Université Libre de Bruxelles,Belgium
Stefan Ratschan
Czech Academy of Sciences,CZ
Martin Steffen
University of Oslo,Norway
Cesare Tinelli
The University of Iowa,USA
Tarmo Uustalu
Tallinn University of Technology,Estonia
Irina Virbitskaite
Ershov Institute of Informatics Systems,Russian
Farn Wang
National Taiwan University, TW, China
Qixin Wang
The Hong Kong Polytechnic University, HK, China
Wang Yi
Uppsala University,Sweden
Lijun Zhang
Institute of Software, Chinese Academy of Sciences,China
Jianhua Zhao
Nanjing University,China
Huibiao Zhu
East China Normal University,China
  Last updated: Wednesday, 29 April 2015 Copyright © 2015 Barmpalias