报告人：唐闻 (北京大学哲学系)
题目：Matching logic

时间：2023/11/07 15:10-18:00
地点：地学楼108

摘要：
Matching logic is a unifying logic used for specifying and reasoning about static structure and dynamic behavior of programs. The expressiveness of such logic allows it to describe a wide range of structures and to define many logic in this framework, hence different properties can be reasoned about using one fixed matching logic proof system. In the first part of this talk, I will introduce the basic settings for matching logic (syntax, semantics, proof system, etc.). In the second part, a logical framework for neural network will be described, as an example of the application of matching logic.