-
1月13日:刘少英2025-01-10
-
1月13日:王小云&Shay Gueron2025-01-09
-
1月10日:邓锦亮2025-01-06
-
12月19日:周喆2024-12-17
-
12月16日:谢肖飞2024-12-15
-
12月9日:SUN Jun(孙军)2024-12-08
-
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