评级与受众
Importance
MEDIUM
面向群体:
跨学科学术对话平台
关键词:
# 形式化数学前沿
# 工程实现
# 人工智能辅助
日程安排 (Timeline)
2026-01-23
会议时间
"2026年1月23日"
文中提及
陈华一
肖梁
王善文
于鹏
报告人
董安杰
何婉仪
关乃粼
王语桐
陈昭仪
周中帆
王善文