4月2日下午，软件学院主办的“重写理论与代数”系列论坛在未来信息技术大楼启动，国际知名软件理论科学家、巴黎第七大学兼国家科研中心（CNRS）教授、清华大学软件理论兼职讲习教授 Pierre-Louis Curien做了题为“计算机科学和代数学视角下的重写”首场报告。报告介绍了重写汇合性与李-代数理论间的联系的最新发现。我校软件理论讲习教授Jean-Pierre Jouannaud、中科院系统所支丽红研究员共同主持了论坛首次活动，来自我校、中科院软件所、中科院数学与系统科学研究院、中法联合实验室（LIAMA）的30余位计算机科学和数学专业的学者参加了研讨。

重写理论既是一种基本理论计算模型，也在定理证明、函数式程序设计等方面有着广泛应用，对计算机科学的发展产生了深渊的影响，其基础研究一直很活跃。近年来，有学者开始注意到代数学领域出于不同动机做出的一系列发现，与计算机学科研究的重写理论有着深刻的联系，这种联系由于学科间的隔膜长期无人知晓，却对理解和深入揭示重写的本质提供了崭新的视角，因此有着重要的探索价值。

该论坛的启动，标志着为期一个多月的软件学院迎百年校庆、十年院庆系列高水平学术讲座活动正式拉开帷幕。