Organizing Committee VMCAI

Shankaranarayanan Krishna Co-chair

IIT Bombay, India

Sriram Sankaranarayanan Co-chair

University of Colorado, Boulder

United States

Ashutosh Trivedi Co-chair

University of Colorado Boulder

United States

Ernst Moritz Hahn Artifact Evaluation Co-Chair

University of Twente

Netherlands

Andrea Turrini Artifact Evaluation Co-Chair

Institute of Software, Chinese Academy of Sciences

China