-
11月20日：Tracking Redexes in the lambda-calculus (revisited)2024-11-11
-
11月7日：多臂老虎机简介：模型、算法与应用2024-11-04
-
10月31日：编码密码及相关数学理论研讨会2024-10-29
-
10月29日：Frederic Mallet2024-10-28
-
10月28日：杨剑&刘琛2024-10-28
-
5月16日：神经网络是否可以被严谨地解释清楚？可解释性技术在大模型上的如何应用落地？2024-05-15
-
5月14日：Boris Düdder2024-05-10
-
4 月 25 日：中法可信软件学术研讨会2024-04-23
-
3月13日 学术报告：何唯嘉 Weijia HE (达特茅斯大学)2024-03-12
-
1月12日 学术报告：Minming Li（香港城市大学）2024-01-10
-
1月8日 学术报告：贾春福（南开大学）2024-01-08
-
12月25日 学术报告:黄琼（华南农业大学）2023-12-24
-
12月2日学术报告：Mimicking Human Language Understanding for Fine-grained Multi-class Sentiment Analysis - the First Step for Human-Like Language Understanding2023-12-01
-
11月9日学术报告：刘艺（南洋理工大学）2023-11-06
