2013年4月25日至26日，清华软件日在清华大学FIT楼多功能厅举行。本次活动由清华大学软件学院主办，中法联合实验室LIAMA协办。

本次TSD主题是嵌入式软件系统中的相关理论与技术研究热点。清华大学信息科学与技术学院院长、软件学院院长孙家广院士首先就本次活动主题和清华大学在该领域的工作，特别是自主研发的可信嵌入式软件建模与验证工具Tsmart做了全面阐述，并给出了该领域的未来发展方向。

来自瑞典Uppsala大学的Erik Hagersten教授以多核环境下的建模与仿真技术做主题报告，针对多核技术给系统建模与仿真带来的新难题，就统计仿真方法、平台无关性能度量和性能变化性分析等技术进行了深入阐述。法国Pierre et Marie Curie大学的Marc Pouzet教授和Louis Mandel博士以同步语言为主题，深入讨论了同步的概念和定义，结合SCADE工具介绍了同步语言的特征和验证工具的支持，并阐述了同步语言面临的挑战性问题。

来自美国Carnegie Mellon大学，同时也是2007年图灵奖获得者的Edmund Clarke教授以非线性实数理论的可满足性判定问题做主题报告。非线性实数理论可用于对物理融合系统进行分析和验证，Clarke教授介绍了他的团队在这一领域的最新研究成果。本场报告同时也是“清华大学巅峰对话”的一部分。学术报告之后，Clarke教授与现场学生就学术问题、科研心得、治学态度等进行了面对面的对话。Clarke教授严谨的科学作风和宽容平和的治学态度赢得了同学们的高度评价。

在学生报告专场，来自清华大学、中科院软件所的多位研究生介绍了自己在模型检测、定理证明和实数理论等方向最新的研究成果。本场活动邀请Edmund Clarke等4位嘉宾为评委，针对学生报告的内容和质量进行打分，并评出了最佳报告人。

清华软件日（简称TSD，Tsinghua software Day）是2011年软件学院为庆祝清华百年校庆所举办的学术研讨活动，今年已经是第三次举办。每次TSD围绕软件理论与系统中的一个前沿主题，邀请世界知名学者做专题报告，并与学生开展面对面的互动交流。本次软件日活动得到了来自清华大学信息学院各院系和中科院、北京大学等北京地区高校百余位学生和科研工作者的高度评价，清华软件日正在成为软件理论与系统领域国际学术交流的平台。