TSD 2015
5th Tsinghua Software Day
 Home  Invited Speakers  Lectures  Program  Local Infomation  Contact Us  
TSD-Tsinghua Software Day

The 1st Tsinghua Software Day (TSD) was devoted to 100 years anniversary of Tsinghua University. The 1st Tsinghua Software Day was devoted to Software Theories. The 2nd stressed the importance of theory for practice, in particular in actual industrial applications. And the 3rd TSD focused on embeded systems, their design, simulation, programming and verification. TSD 2015 is the 5th in this series of events. The former invited speakers are:

TSD 2011: Pierre-Louis Curien, Georges Gonthier, Thomas Henzinger, Zhaohui Luo

TSD 2012: Patrick Cousot, John Harisson, Gernot Heiser, Gerwin Klein, Rob Shostak

TSD 2013: Ed Clarke, Erik Hagersten, Louis Mandel, Marc Pouzet

TSD 2014: Luke Ong, Greg Morrisett, Vijay Saraswat, Mingshen Yin

  • April 20th

Beijing Tsinghua University
FIT Building
2nd Floor Lecture Room