7月31日
| 时间 | 安排 |
|---|---|
| 14:00-21:00 | 注册（蓝谷国际酒店大厅） |
| 17:30-20:30 | 欢迎自助餐（蓝谷国际酒店） |
山东大学 · Shandong University
HCP 2026
第九届难解问题的理论、算法与应用研讨会
Workshop on Hard Computational Problems: Theories, Algorithms and Applications
时间
2026年7月31日-8月2日
地点
山东大学青岛校区淦昌苑D座305会议厅
About HCP
会议简介
难解问题的理论、算法与应用研讨会（HCP）致力于促进难解计算问题相关领域的研究人员与工业界人员深入交流，推动有影响力的学术成果与产研合作。
研讨会主要聚焦问题表示、理论算法、实践算法与工业应用场景的深度融合，覆盖逻辑约束、数学规划、图论、组合优化、约束求解、SAT/SMT、知识编译、机器学习辅助优化等方向。
HCP 已在吉林长春、辽宁大连、宁夏银川、贵州都匀、云南昆明、山东烟台、上海等地举办。HCP 2026 将在山东大学举行，欢迎国内外同仁参会交流。
会议时间：2026年7月31日-8月2日
会议地点：山东省青岛市即墨区滨海路72号山东大学青岛校区淦昌苑D座305会议厅
HCP 2026 会议通知已发布，点此下载（PDF）。
Talks
报告信息
议程将持续更新。点击议程中的报告题目或报告卡片可查看摘要和报告人简介。
8月1日 上午
| 时间 | 报告人 | 报告题目 | 主持人 |
|---|---|---|---|
| 08:40-09:00 | 开幕式、致辞 | ||
| 09:00-09:45 |
戴彧虹
中国科学院数学与系统科学研究院
|
Keynote: | 王小云 清华大学 |
| 09:45-10:30 |
詹乃军
北京大学计算机学院
|
Keynote: | 王美琴 山东大学 |
| 10:30-10:45 | 茶歇 | ||
| 10:45-11:30 |
孙晓明
中国科学院计算技术研究所
|
Keynote: | 蔡少伟 中国科学院软件研究所 |
| 11:30-12:15 |
冯启龙
中南大学计算机学院
|
Keynote: | |
| 12:15-14:00 | 午餐 / 休息（曦园三楼） | ||
8月1日 下午
| 时间 | 报告人 | 报告题目 | 主持人 |
|---|---|---|---|
| 14:00-14:30 |
袁明轩
华为诺亚方舟实验室 / 香港诺亚方舟实验室
|
陆品燕 上海财经大学 |
|
| 14:30-15:00 |
王肇国
上海交通大学
|
||
| 15:00-15:30 |
李旻
东南大学集成电路学院
|
||
| 15:30-15:45 | 茶歇 | ||
| 15:45-16:45 |
AI时代的代码研发与可靠性
|
||
| 16:45-17:30 | 户外交流 | ||
| 17:30- | 晚餐（蓝谷国际酒店） | ||
8月2日 上午
| 时间 | 报告人 | 报告题目 | 主持人 |
|---|---|---|---|
| 09:00-09:30 |
操宜新
香港理工大学计算学系
|
周毅 电子科技大学 |
|
| 09:30-10:00 |
雷震东
华为泰勒实验室
|
||
| 10:00-10:30 |
刘圣鑫
哈尔滨工业大学（深圳）计算机科学与技术学院
|
||
| 10:30-11:00 | 茶歇 | ||
| 11:00-11:30 |
秦虎
华中科技大学管理学院
|
陈峰 上海交通大学 |
|
| 11:30-12:00 |
黄一潇
顺丰科技
|
||
| 12:00-14:00 | 午餐 / 休息（曦园三楼） | ||
8月2日 下午
| 时间 | 报告人 | 报告题目 | 主持人 |
|---|---|---|---|
| 14:00-14:30 |
Emanuele Bellini
Technology Innovation Institute (TII), UAE
|
罗川 北京航空航天大学 |
|
| 14:30-15:00 |
周春宁
南洋理工大学
|
||
| 15:00-15:30 | 茶歇 | ||
| 15:30-16:00 |
张昕荻
中国科学院软件研究所
|
吴贯锋 西南交通大学 |
|
| 16:00-16:30 |
樊燕红
山东大学
|
||
| 16:30-16:40 | 闭幕式 | ||
| 17:00-19:30 | 晚餐（曦园三楼） | ||
戴彧虹
中国科学院数学与系统科学研究院
詹乃军
北京大学计算机学院
孙晓明
中国科学院计算技术研究所
冯启龙
中南大学计算机学院
袁明轩
华为诺亚方舟实验室 / 香港诺亚方舟实验室
王肇国
上海交通大学
李旻
东南大学集成电路学院
陆品燕
上海财经大学
操宜新
香港理工大学计算学系
雷震东
华为泰勒实验室
刘圣鑫
哈尔滨工业大学（深圳）计算机科学与技术学院
秦虎
华中科技大学管理学院
黄一潇
顺丰科技
Emanuele Bellini
Technology Innovation Institute (TII), UAE
周春宁
南洋理工大学
张昕荻
中国科学院软件研究所
樊燕红
山东大学
Hotel
酒店信息
青岛蓝谷国际酒店
是青岛市即墨区首家五星级酒店，由青岛海洋科技投资发展有限公司投资兴建，苏州恒力酒店管理有限公司经营管理。酒店总建筑面积达90000㎡，超万平会议空间，拥有30个大小各异的会议室，最大无柱式宴会厅面积达1200㎡，配以391间标准客房及套房，可承载各类学术交流活动及商务会议。
地址：山东省青岛市即墨区滨海公路168号。
房型
价格
大床/标间（单早）
450元
大床/标间（双早）
530元
豪华亲子房（双早）
680元
微信扫码预订协议价
交通
打车
打车导航到“蓝谷国际酒店”。
地铁
乘坐青岛地铁 11 号线至“蓝色硅谷”站，出站后步行约 10 分钟可达青岛蓝谷国际酒店。
Organization
组织机构
HCP 2026 由山东大学网络空间安全学院承办。
承办单位
山东大学网络空间安全学院
召集人
王美琴（山东大学）
程序委员会（按姓氏拼音排序）
- 蔡少伟 （中国科学院软件研究所、北京航空航天大学）
- 陆品燕 （上海财经大学）
- 吕志鹏 （华中科技大学）
- 王美琴 （山东大学）
- 殷明浩 （东北师范大学）
组织委员会
- 胡凯 （山东大学）
- 魏英凯 （山东大学）
- 崔佳敏 （山东大学）
- 陈师尧 （山东大学）
- 潘增彩 （山东大学）
- 刘群 （山东大学）
- 吴立轩 （山东大学）
- 樊燕红 （山东大学）
- 王超然 （山东大学）
Contact