BASICS Workshop 2025
会议简介
- 主题： 理论计算机科学前沿论坛（Frontiers in Theoretical Computer Science）
- 时间： 2025年9月13日
- 地点： 上海市建国宾馆四楼九州厅B
（上海市徐汇区漕溪北路439号，靠近地铁1号线徐家汇站2号口） - 主办： 上海交通大学（理论计算机科学研究所、约翰·霍普克罗夫特计算机科学中心）
- 承办： 华东理工大学
- 会议主席： 傅育熙 教授，郁昱 教授
- 程序委员会主席： 陈翌佳 教授
- 组织主席： 徐贤 副教授
会议邀请
值此上海交通大学计算机学院“理论计算机科学研究所”成立之际，我们将于 2025 年 9 月 13 日在上海举办 BASICS Workshop 2025 年度学术会议。本次会议的主题为“理论计算机科学前沿论坛（Frontiers in Theoretical Computer Science）”，旨在汇聚国内理论计算机科学领域的广大学者，共同探讨该领域的最新研究进展、核心挑战与未来发展方向。会议邀请多位国内理论计算机科学领域的杰出代表作专题报告。
BASICS Workshop and Summer School 是上海交通大学 BASICS 实验室（Laboratory for Basic Studies in Computing Science）主办的年度学术活动。从 2000 年起，已成功举办了二十一届，讨论的主题依次为：类型和论域（2000年，上海）、线性逻辑和博弈语义（2001年，北京）、算法与复杂性（2002年，杭州）、信息安全与密码学（2004年，上海）、并发计算理论及其应用（2005年，扬州）、理论计算机科学的前沿问题（2006年，上海）、算法-计算复杂性-密码学基础（2007年，浙江安吉）、算法与图论应用（2008年，贵阳）、计算与交互（2009年，上海）、类型与程序语言（2010年，杭州）、算法博弈论（2011年，青岛）、论域理论及应用（2012年，长沙）、无限状态系统验证（2013年，上海）、递归论（2014年，上海）、通信复杂性（2015年，金华）、量子计算与量子编程（2016年，贵阳）、算法谱图论（2017年，上海）、机器学习的数学基础（2018年，上海）、区块链理论与实践（2019年，湖州）、零知识证明 (2023年，上海)、可达性: 算法与复杂性（2024年，上海）。
BASICS Workshop 2025 特邀国内多位理论计算机科学专家进行前沿研究分享。会议议程及报名信息见下方。
我们诚挚地邀请您参加！
本次会议不收会议费。会议期间食宿费、交通费自理，会议没有食宿、交通等补贴。
BASICS Workshop 2025 会务组
2025年8月12日
会务组联系方式
- 邮件：
basics@sjtu.edu.cn - 电话：13661880256（徐老师），13916300669（龙老师）
议程安排
| 时间 | 报告人 | 单位 |
|---|---|---|
| 上午主持：傅育熙 教授 | ||
| 08:25-08:30 | 会议开场 | |
| 08:30-09:05 | 李建 教授 | 清华大学 |
| 09:05-09:40 | 熊英飞 教授 | 北京大学 |
| 09:40-10:15 | 孙晓明 教授 | 中国科学院计算技术研究所 |
| 茶歇 | ||
| 10:40-11:15 | 宋富 教授 | 中国科学院软件研究所 |
| 11:15-11:50 | 尹一通 教授 | 南京大学 |
| 午餐及休息 | ||
| 下午主持：陈翌佳 教授 | ||
| 13:00-13:35 | 陈林 教授 | 浙江大学 |
| 13:35-14:10 | 李绿周 教授 | 中山大学 |
| 14:10-14:45 | 陆品燕 教授 | 上海财经大学 |
| 茶歇 | ||
| 15:10-15:45 | 黄增峰 教授 | 复旦大学 |
| 15:45-16:20 | 张驰豪 副教授 | 上海交通大学 |
| 16:20-16:30 | 总结致辞，疏散 | |
报名方式
请扫描以下二维码或点击此链接报名。
