TSD 2014
4th Tsinghua Software Day
               
 Home  Invited Speakers  Lectures  Program  Local Infomation  Contact Us  
               
Monday, APRIL 21th
08:45 -- 09:00
Opening : Sun Jiaguang
Dean of the school of information science and technology, Tsinghua University Welcome address
09:00 -- 10:00
Vijay Saraswat

IBM TJ Watson Research Center
Columbia University, USA

Concurrent Constraint Programming: 25 years later
10:00 -- 10:15
Questions
10:15 -- 10:45
Coffee Break
10:45 -- 11:45
Greg Morisset

Havard University, USA

The Challenges of Securing Systems Software
11:45 -- 12:00
Questions
12:00 -- 13:30
Lunch Break
13:30 -- 14:30
Mingsheng Ying

Tsinghua University, China
University of Technology, Sydney, Australia

Quantum programming: From superposition of data to superposition of programs
14:30 -- 14:45
Questions
14:45 -- 15:00
Break
15:00 -- 16:00
Luke Ong

University of Oxford, England

Types, Games and Higher-Order Programs.
16:00 -- 16:15
Questions
16:15 -- 17:00
Questions moderated by the students
Tuesday, APRIL 22th
from 9:00 until 12:30
Student presentations
Award: an award will be given to the best student presentation, as judged by the jury of invited speakers
chaired by Edmund Clarke.