会议简介
难解问题的理论、算法与应用研讨会（Workshop on Hard Computational Problems: Theories，Algorithms and Applications ，简称HCP）致力于促进难解计算问题相关领域的研究人员和相关工业界人员的深度交流与合作，促成有影响力的学术成果和产研合作。研讨会主要聚焦问题的表示（逻辑约束、数学规划、图论等），算法（理论算法和实践算法）和工业相关实际应用场景的深度融合。HCP前七届会议已先后在吉林长春（两次）、辽宁大连、宁夏银川、贵州都匀、云南昆明、山东烟台等地成功召开。本次会议由上海财经大学承办，欢迎您参会交流。
点击这里下载HCP2025邀请函📅 会议时间：2025年8月1日-8月2日
🏠 会议地点：上海财经大学创业中心一楼报告厅
会议日程 (2025年8月1日-2日)
| 时间 | 报告人 | 报告内容 | |
|---|---|---|---|
| 08:55-09:00 | 开幕式 | ||
| 09:00-09:30 | 孙德锋（香港理工大学） | On the Equivalence of the Aubin Property and the Robinson Strong Regularity for Nonlinear Conic Programming | |
| 09:30-10:00 | 文再文（北京大学） | 探索基于学习的数学优化算法与理论 | |
| 10:00-11:00 | 茶歇&集体照 | ||
| 11:00-11:30 | 林冰凯（南京大学） | Parametrized PCP Theorems | |
| 11:30-12:00 | 陈伟坤（北京理工大学） | An integer programming approach for the maximum k-vertex cover problem | |
| 12:00-14:00 | 午餐 | ||
| 时间 | 报告人 | 报告内容 | |
|---|---|---|---|
| 14:00-14:30 | 姚培森（浙江大学） | 最优化模理论求解及其程序分析应用 | |
| 14:30-15:00 | 胡凯（山东大学） | 约束求解在密码分析中的应用 | |
| 15:00-15:30 | 李宏博（东北师范大学） | 约束满足问题的变量排序启发式算法 | |
| 15:30-16:00 | 茶歇 | ||
| 16:00-16:30 | 张昕荻（中国科学院软件研究所） | 异构并行SAT求解及组合等价性验证 | |
| 16:30-17:00 | 章嘉玺（华为） | 数字芯片设计中的难解问题：从理论到实践 | |
| 17:00-18:00 |
学科发展圆桌论坛 主持人：蔡少伟（中国科学院软件研究所） 嘉宾：陆品燕（上海财经大学）、吕志鹏（华中科技大学）、张国川（浙江大学） |
||
| 18:00-20:00 | 晚餐 | ||
| 时间 | 报告人 | 报告内容 | |
|---|---|---|---|
| 09:00-09:30 | 王永（华北电力大学） | 面向旅行商问题的频率图Kis | |
| 09:30-10:00 | 金燕（华中科技大学） | 基于机器学习的混合方法求解组合优化问题 | |
| 10:00-10:30 | 茶歇 | ||
| 10:30-11:00 | 王艺源（东北师范大学） | 布尔约束优化问题研究 | |
| 11:00-11:30 | 赖永（吉林大学） | Panini: An Efficient and Flexible Knowledge Compiler | |
| 11:30-12:00 | 金耀楠（华为） | Local Search for Clustering in Almost-linear Time | |
| 12:00-14:00 | 午餐 | ||
会议注册
为保证HCP会议的长期稳定举办，把会议办成汇聚学术和应用前沿的高质量论坛。HCP2025收取基本的会议注册费用。感谢您的理解和对HCP会议的长期支持！
注册费用
| 注册类型 | 价格 | 缴费二维码 |
|---|---|---|
| 普通注册 | 1000元/位 |  |
| 学生注册 | 800元/位 |  |
注：注册费用包括会议资料、特邀专家报告费等。注册费用由上海财经大学财务处收取，并开具增值税发票，发票内容是会议注册费。
会议注册信息
点击注册酒店信息
酒店名称：上海檀程大酒店（财经大学店）
酒店地址：上海市杨浦区武东路188号（距离会场步行5分钟）
檀程大酒店协议价
| 房型 | 价格 |
|---|---|
| 豪华大床房/豪华双床房 | 500元含早餐 |
| 行政大床房 | 600元含早餐 |
| 套房 | 700元含早餐 |
订房请联系檀程酒店销售部，成依君，手机：13701704560，报"上财HCP2025会议团组"可享受上面协议价。
报告征集
分享最新成果、交流学术经验、产研深度融合是HCP会议的宗旨。会议现面向全体参会人员征集会议报告，诚邀您将近期优秀的科研成果（包含但不限于顶会顶刊论文和比赛获奖作品，工业案例等）在会议期间与大家分享。感谢您对HCP2025的大力支持！
注：报告时长为10-20分钟
报告信息提交（截止日期：2025年7月20日24:00）
点击提交组织机构
承办单位：上海财经大学计算机与人工智能学院，计算经济交叉科学教育部重点实验室
召集人：陆品燕 上海财经大学计算机与人工智能学院院长、计算经济交叉科学教育部重点实验室主任
程序委员会（按姓氏拼音排序）
- 蔡少伟 中国科学院软件研究所
- 陆品燕 上海财经大学
- 吕志鹏 华中科技大学
- 殷明浩 东北师范大学
组织委员会
- 唐志皓 上海财经大学
- 伏虎 上海财经大学
- 王晓 上海财经大学
- 陶亦心 上海财经大学
- 徐韧喆 上海财经大学
- 贺烈 上海财经大学
联系我们
上海财经大学会务组联系人：梁慧丽
邮箱：liang.huili@mail.shufe.edu.cn
电话：021-65901002