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