报告人：刘诗霄

题目：Haag 定理及其现有证明

报告人：陈至诚

题目：相对化一阶逻辑与ZFC ´∆0片段的公理化

时间：5月19日 15:00-18:00

腾讯会议ID：571 187 103

腾讯会议网址：https://meeting.tencent.com/s/I1w87GnLyoCk