2016年11月29日，北京大学数学学院的孙猛副教授应邀到一教105室进行了题目为“Modeling Complex Systems: A Coalgebraic Perspective”的学术报告。报告介绍了余代数方法在计算机领域的应用，并讨论了一种基于余代数思想的逻辑语义学。报告摘要如下：

In the past decades, software component techniques have played an important role in the development of complex systems. Formal foundations on top of which rigorous methodologies for the description and analysis of component-based systems could be built are rather necessary for components. This talk summarizes my work in the past years on this direction: I will give an introduction on the coalgebraic model of software components, and discuss a heterogeneous calculi for components as coalgebras, which can be used in combining components with different behavior patterns explicitly specified. Furthermore, I will introduce the “Unifying" coalgebraic semantics for different view models in the “Unified” Modeling Language (UML).