Shandong University Qingdao Campus Library

Shandong University

HCP 2026

The 9th Workshop on Hard Computational Problems: Theories, Algorithms and Applications

第九届难解问题的理论、算法与应用研讨会

Date July 31-August 2, 2026
Venue Room 305, Ganchangyuan Building D, Shandong University Qingdao Campus

About HCP

Introduction

The Workshop on Hard Computational Problems: Theories, Algorithms and Applications (HCP) promotes in-depth exchange among researchers and industry practitioners working on hard computational problems.

The workshop focuses on problem representations, theoretical algorithms, practical algorithms, and real-world applications, including logical constraints, mathematical programming, graph theory, combinatorial optimization, constraint solving, SAT/SMT, knowledge compilation, and learning-assisted optimization.

Previous HCP workshops have been held in Changchun, Dalian, Yinchuan, Duyun, Kunming, Yantai, and Shanghai. HCP 2026 will be hosted at Shandong University.

Dates: July 31 – August 2, 2026

Venue: Room 305, Ganchangyuan Building D, Shandong University Qingdao Campus, No. 72 Binhai Road, Jimo District, Qingdao, Shandong, China

The HCP 2026 conference notice has been released. Download (PDF).

Venue

Room 305, Ganchangyuan Building D, Shandong University Qingdao Campus, No. 72 Binhai Road, Jimo District, Qingdao, Shandong, China

Open Google Map

Talks

Talk Information

The program will be updated as details are confirmed. Click a talk title or card for the abstract and speaker bio.

July 31

Time Program
14:00-21:00 Registration (Langu International Hotel Lobby)
17:30-20:30 Welcome Buffet (Langu International Hotel)

August 1 Morning

Time Speaker Title Chair
08:40-09:00 Opening Ceremony and Remarks
09:00-09:45 Yuhong Dai
Academy of Mathematics and Systems Science, CAS
Keynote: Xiaoyun Wang
Tsinghua University
09:45-10:30 Naijun Zhan
School of Computer Science, Peking University
Keynote: Meiqin Wang
Shandong University
10:30-10:45 Tea Break
10:45-11:30 Xiaoming Sun
Institute of Computing Technology, CAS
Keynote: Shaowei Cai
Institute of Software, CAS
11:30-12:15 Qilong Feng
School of Computer Science and Engineering, Central South University
Keynote:
12:15-14:00 Lunch / Rest (3rd Floor, Xiyuan)

August 1 Afternoon

Time Speaker Title Chair
14:00-14:30 Mingxuan Yuan
Huawei Noah's Ark Lab / Hong Kong Noah's Ark Lab
Pinyan Lu
Shanghai University of Finance and Economics
14:30-15:00 Zhaoguo Wang
Shanghai Jiao Tong University
15:00-15:30 Min Li
School of Integrated Circuits, Southeast University
15:30-15:45 Tea Break
15:45-16:45
Code Development and Reliability in the AI Era
Host: Pinyan Lu (Shanghai University of Finance and Economics)
Panelists: Naijun Zhan (School of Computer Science, Peking University), Xiaoming Sun (Institute of Computing Technology, CAS), Qilong Feng (School of Computer Science and Engineering, Central South University), Mingxuan Yuan (Huawei Noah's Ark Lab / Hong Kong Noah's Ark Lab), Zhaoguo Wang (Shanghai Jiao Tong University), Min Li (School of Integrated Circuits, Southeast University)
16:45-17:30 Outdoor Networking
17:30- Dinner (Langu International Hotel)

August 2 Morning

Time Speaker Title Chair
09:00-09:30 Yixin Cao
Department of Computing, The Hong Kong Polytechnic University
Yi Zhou
University of Electronic Science and Technology of China
09:30-10:00 Zhendong Lei
Huawei Taylor Lab
10:00-10:30 Shengxin Liu
School of Computer Science and Technology, Harbin Institute of Technology (Shenzhen)
10:30-11:00 Tea Break
11:00-11:30 Hu Qin
School of Management, Huazhong University of Science and Technology
Feng Chen
Shanghai Jiao Tong University
11:30-12:00 Yixiao Huang
SF Technology
12:00-14:00 Lunch / Rest (3rd Floor, Xiyuan)

August 2 Afternoon

Time Speaker Title Chair
14:00-14:30 Emanuele Bellini
Technology Innovation Institute (TII), UAE
Chuan Luo
Beihang University
14:30-15:00 Chunning Zhou
Nanyang Technological University
15:00-15:30 Tea Break
15:30-16:00 Xindi Zhang
Institute of Software, CAS
Guanfeng Wu
Southwest Jiaotong University
16:00-16:30 Yanhong Fan
Shandong University
16:30-16:40 Closing Ceremony
17:00-19:30 Dinner (3rd Floor, Xiyuan)
Yuhong Dai

Yuhong Dai

Academy of Mathematics and Systems Science, CAS
Click for abstract and bio
Naijun Zhan

Naijun Zhan

School of Computer Science, Peking University
Click for abstract and bio
Xiaoming Sun

Xiaoming Sun

Institute of Computing Technology, CAS
Click for abstract and bio
Qilong Feng

Qilong Feng

School of Computer Science and Engineering, Central South University
Click for abstract and bio
Mingxuan Yuan

Mingxuan Yuan

Huawei Noah's Ark Lab / Hong Kong Noah's Ark Lab
Click for abstract and bio
Zhaoguo Wang

Zhaoguo Wang

Shanghai Jiao Tong University
Click for abstract and bio
Min Li

Min Li

School of Integrated Circuits, Southeast University
Click for abstract and bio
Pinyan Lu

Pinyan Lu

Shanghai University of Finance and Economics
Click for biography
Yixin Cao

Yixin Cao

Department of Computing, The Hong Kong Polytechnic University
Click for abstract and bio
Zhendong Lei

Zhendong Lei

Huawei Taylor Lab
Click for abstract and bio
Shengxin Liu

Shengxin Liu

School of Computer Science and Technology, Harbin Institute of Technology (Shenzhen)
Click for abstract and bio
Hu Qin

Hu Qin

School of Management, Huazhong University of Science and Technology
Click for abstract and bio
Yixiao Huang

Yixiao Huang

SF Technology
Click for abstract and bio
Emanuele Bellini

Emanuele Bellini

Technology Innovation Institute (TII), UAE
Click for abstract and bio
Chunning Zhou

Chunning Zhou

Nanyang Technological University
Click for abstract and bio
Xindi Zhang

Xindi Zhang

Institute of Software, CAS
Click for abstract and bio
Yanhong Fan

Yanhong Fan

Shandong University
Click for abstract and bio

Registration

Registration

To support the long-term stability of HCP and develop it into a high-quality forum connecting academic and applied frontiers, HCP 2026 will charge a basic registration fee.

Register Now
Scan to register
Registration QR code
WeChat group
HCP 2026 WeChat group QR code

Please indicate your affiliation and name when joining

Report submission
HCP 2026 report submission QR code
Type Fee
Regular 1000 RMB
Student 800 RMB
Payment QR Code
Payment QR code

Note: The registration fee covers conference materials, invited speaker honoraria, etc. It is collected by the Finance Department of Shandong University, which issues a VAT invoice with the item listed as “conference fee”.

Hotel

Hotel Information

Exterior of Oceantec Valley Hotel Qingdao

Oceantec Valley Hotel Qingdao

It is the first five-star hotel in Jimo District, Qingdao, built by Qingdao Ocean Technology Investment & Development Co., Ltd. and managed by Suzhou Hengli Hotel Management Co., Ltd. With a total floor area of 90,000 ㎡ and over 10,000 ㎡ of meeting space, it offers 30 meeting rooms of various sizes (including a 1,200 ㎡ pillarless grand ballroom) and 391 guest rooms and suites, suitable for academic exchanges and business conferences.

No. 168 Binhai Road, Jimo District, Qingdao, Shandong, China.

Website: m.oceantecvalleyhotel.cn

Room Type Rate
King/Twin (1 breakfast) 450 RMB
King/Twin (2 breakfasts) 530 RMB
Deluxe Family Room (2 breakfasts) 680 RMB
Scan with WeChat to book at the contracted rate
Oceantec Valley Hotel booking QR code

Transportation

Taxi / Ride-Hailing

For taxi or ride-hailing, navigate to “Oceantec Valley Hotel Qingdao”.

Metro

Take Qingdao Metro Line 11 to “蓝色硅谷” (Blue Silicon Valley) Station. The hotel is about a 10-minute walk from the station.

Hotel Map

Oceantec Valley Hotel Qingdao, No. 168 Binhai Road, Jimo District, Qingdao, Shandong, China.

Open Google Map

Organization

Organization

HCP 2026 is hosted by the School of Cyber Science and Technology, Shandong University.

Host

School of Cyber Science and Technology, Shandong University

Convener

Meiqin Wang, Shandong University

Program Committee

  • Shaowei Cai, Institute of Software, Chinese Academy of Sciences; Beihang University
  • Pinyan Lu, Shanghai University of Finance and Economics
  • Zhipeng Lyu, Huazhong University of Science and Technology
  • Meiqin Wang, Shandong University
  • Minghao Yin, Northeast Normal University

Organizing Committee

  • Kai Hu, Shandong University
  • Yingkai Wei, Shandong University
  • Jiamin Cui, Shandong University
  • Shiyao Chen, Shandong University
  • Zengcai Pan, Shandong University
  • Qun Liu, Shandong University
  • Lixuan Wu, Shandong University
  • Yanhong Fan, Shandong University
  • Chaoran Wang, Shandong University

Contact

Contact

Contact person: Zengcai Pan Email: panzengcai@sdu.edu.cn Phone: 0532-58638635