-
Theorem proving in Lean
陈省身数学研究所 解云舟
2026-08-10 16:00
地点： 八里台校区 省身楼216教室
-
Hopf algebra structure on MZV shuffle algebras
陈省身数学研究所 郭锂
2026-08-09 15:00
地点： 八里台校区 省身楼216教室
-
21世纪复杂体系生命医药研究范式转化的必要性，内涵和实施
物理科学学院 朱景德
2026-08-04 14:30
地点： 八里台校区 三教301
-
How Artificial Intelligence Reshapes Work: Evidence from Occupation-Level Analysis人工智能如何重塑工作：基于职业层面的经验分析
商学院 Tingliang Huang
2026-07-31 14:30
地点： 八里台校区 商学院
-
Representations of N=1,2 superconformal algebras
陈省身数学研究所 陈海波
2026-07-27 15:00
地点： 八里台校区 省身楼216教室
-
Tensor product weight modules over the affine-Virasoro algebra
陈省身数学研究所 陈秋帆
2026-07-27 09:00
地点： 八里台校区 省身楼216教室
-
Combinatorics of infinite rank module categories over finite dimensional sl3-modules
陈省身数学研究所 祝晓宇
2026-07-26 15:00
地点： 八里台校区 省身楼216教室
-
Quantum Correspondences and Drinfeld Realisations of Quantum Affine Superalgebras
陈省身数学研究所 许莹
2026-07-26 09:00
地点： 八里台校区 省身楼216教室
-
General modules of Lie conformal algebras
陈省身数学研究所 吴鹤楠
2026-07-24 15:00
地点： 八里台校区 省身楼216教室
-
Para-Virasoro and quasi-primary elements in conformal algebras
陈省身数学研究所 夏春光
2026-07-24 09:00
地点： 八里台校区 省身楼216教室
-
On Transposed Poisson conformal algebras
陈省身数学研究所 袁腊梅
2026-07-23 15:00
地点： 八里台校区 省身楼216教室
-
BLM Realization of i-Quantum Groups
陈省身数学研究所 武亚娣
2026-07-23 11:00
地点： 八里台校区 省身楼216教室
-
Local derivations on a class of Block-type Lie algebras
陈省身数学研究所 杨恒云
2026-07-21 17:00
地点： 八里台校区 省身楼212教室
-
Structure and representation theory of Hom-Lie algebras
陈省身数学研究所 程永胜
2026-07-21 15:00
地点： 八里台校区 省身楼212教室
