July 6 Monday

Professor Edmund M. Clarke, Carnegie Mellon University, Pittsburgh, USA

July 7 Tuesday

Prof. Yong Qin, Director, State Key Lab of Rail Traffic Control & Safety, Beijing Jiaotong University, Beijing, China

July 8, Wednesday

Dr. Guenther Ruhe, Professor & Industrial Research Chair Software Engineering, University of Calgary, Alberta, Canada