TSD 2015
5th Tsinghua Software Day
               
 Home  Invited Speakers  Lectures  Program  Local Infomation  Contact Us  
               
Monday, APRIL 20th
08:45 -- 09:00
Welcome address
09:00 -- 10:00
Moshe Vardi

Rice University, USA

A Logical Revolution
10:00 -- 10:15
Questions
10:15 -- 10:45
Coffee Break
10:45 -- 11:45
Jos Meseguer

University of Illinois at Urbana Champaign, USA

Programming as Mathematical Modeling
11:45 -- 12:00
Questions
12:00 -- 13:30
Lunch Break
13:30 -- 14:30
Prakash Panangaden

Mac Gill University, Canada

Probability in Programming
14:30 -- 14:45
Questions
14:45 -- 15:00
Break
15:00 -- 16:00
Vincent Danos

CNRS, France and University of Edinburgh, UK

The macroeconomics of the cell
16:00 -- 16:15
Questions
16:15 -- 17:00
Questions moderated by the students