©2014

Workshop Organizers:
KAIST-Microsoft Research Collaboration Center (KMCC)
Department of Computer Science, Korea Advanced Institute of Science and Technology
Key Lab of High Confidence Software Technologies (CUHK), Ministry of Education, China
Department of Systems Engineering and Engineering Management, The Chinese University of Hong Kong