2015年4月20日，第5届清华软件日（Tsinghua Software Day, TSD）在清华大学FIT楼多功能厅举行。本次活动由清华大学软件学院主办，中法联合实验室LIAMA协办，宣传网址为：http://sts.thss.tsinghua.edu.cn/tsd2015/。

本届软件日的主题是程序语言中的数学理论，邀请国际知名专家分别从类型理论、重写逻辑、概率编程和计算生物学等程序语言中的基础理论和前沿方向进行报告。清华大学信息科学与技术学院院长孙家广院士为本次活动致辞。

法国巴黎综合理工学院的Jean-Pierre Jouannaud教授对类型理论进行了深入显出的介绍，并就交互式定理证明的历史和新近进展进行了阐述。美国伊利诺伊大学厄巴纳-香槟分校的Jose Meseguer教授从应对软件可靠性和可信性挑战出发，阐述了声明式程序语言的特点和优势，并介绍了重写逻辑在声明式语言中的应用；加拿大麦吉尔大学的Prakash Panangaden教授以几个生动的概率问题为开头，介绍了经典逻辑系统和概率系统之间的联系，并阐释了概率状态空间的相关计算理论。英国爱丁堡大学的Vincent Danos教授为大家近年来在计算生物学方向的研究成果, 将软件领域中的建模方法应用于生物学的细胞研究, 取得了很好的结果。与会老师与学生针对四位教授的报告进行提问并进行了深入的探讨。

软件日的第二天，与会专家同清华大学软件学院的研究生进行了深入的交流。参与讨论的同学们介绍了各自在并行SMT求解、软件形式化验证、软件缺陷跟踪与定位、模型驱动的软件测试、以及重写系统等方向的研究成果。四位专家针对学生的报告展开了详细的讨论，对研究成果给予了充分肯定，也指出了其中的不足和可以改进的方向。

清华软件日是2011年软件学院为庆祝清华百年校庆所举办的学术研讨活动，今年已经是第五次举办。每次TSD围绕软件理论与系统中的一个前沿主题，邀请世界知名学者做专题报告，并与学生开展面对面的互动交流。本次软件日活动得到了来自与会者的高度评价，清华软件日正在成为软件理论与系统领域国际学术交流的平台。