Committees
Steering Committee
- John Fitzgerald, UK
- Martin Leucker, Germany
- Zhiming Liu, Macau SAR China
- Tobias Nipkow, Germany
- Augusto Sampaio, Brazil
- Natarajan Shankar, USA
- Jim Woodcock, UK
PROGRAM COMMITTEE
- Ana Cavalcanti, University of York, UK
- Supratik Chakraborty, IIT Mumbai, India
- Satish Chandra, IBM Watson, USA
- Yifeng Chen, Peking University, China
- Meenakshi D’Souza, IIIT Bangalore, India
- Thao Dang, Verimag, France
- Frank deBoer, CWI, Netherlands
- Xinyu Feng, USTC, China
- John Fitzgerald, University of Newcastle, UK
- Susanne Graf, Verimag, France
- Lindsay Groves, Victoria University, New Zealand
- Zhenjiang Hu, NII, Japan
- Lei Ju, Shandong University, China
- Moonzoo Kim, KAIST, Korea
- Daniel Kroening, Oxford University, UK
- Kim G. Larsen, Aalborg University, Denmark
- Martin Leucker, TU Munich, Germany
- Zhiming Liu, UNU-IIST, Macau, SAR, China
- Kamal Lodaya, Inst. Of Mathematical Sciences, India
- Annabelle McIver Macquarie University, Australia
- Madhavan Mukund, Chennai Mathematical Institute, India
- Kedar Namjoshi, Bell Labs, USA
- Jun Pang, University of Luxemborg
- Sanjiva Prasad, IIT Delhi, India
- Geguang Pu, ECNU, China
- Zongyan Qiu, Peking University, China
- Anders P. Ravn, Aalborg University, Denmark
- Abhik Roychoudhury, National University of Singapore, Singapore (Chair)
- Diptikalyan Saha, IBM Research, India
- Augusto Sampaio, UFPE, Brazil
- Bikram Sengupta, IBM Research, India
- R.K. Shyamasundar, TIFR, India
- Sofiene Tahar, Concordia University, Canada
- Kapil Vaswani, Microsoft Research, India
- Wang Yi, Uppsala University, Sweden
- Naijun Zhan, Chinese Academy of Sciences, China
- Jianjun Zhao, Shanghai Jiao Tong University, China
Organizing Committee
- General Chair: Meenakshi D'Souza, Bangalore
- Publicity Chair: Jun Pang, University of Luxemborg
- Deepak D'Souza, Indian Institute of Science, Bangalore
- Sumesh Divakaran, Indian Institute of Science, Bangalore
Sponsors
Partners
