2021年CCF全国理论计算机科学学术年会
首页详细日程 
大会议程
时间 | 议程 | 地点 |
13:00-21:00 | 参会代表报到、注册 | 悦海宾馆 |
18:00-20:00 | 晚餐 | 悦海宾馆 |
时间 | 议程 | 主持人 | 地点 |
08:00-08:30 | 参会代表报到、注册 | 悦海宾馆 | |
08:30-08:50 | 大会开幕式 1. 主持人介绍出席大会的领导、嘉宾 2. 北方民族大学校长李俊杰教授致欢迎辞 3. 专委会主任孙晓明研究员致辞 4. 合影留念 | 蔡志平 教授 国防科技大学 | 悦海宾馆 中心会议室 |
09:00-09:45 | 特邀报告一 人工智能在医学与生物工程中的应用 特邀嘉宾：潘毅 中国科学院深圳理工大学计算机科学与控制学院院长、讲席教授 | 孙晓明 研究员 中科院计算所 | |
09:50-10:35 | 特邀报告二（线上） New Streaming Algorithms for High Dimensional EMD and MST 特邀嘉宾：陈汐 哥伦比亚大学计算机系 副教授 | 张家琳 教授 中科院计算所 | |
10:35-10:55 | 中间休息/茶歇 | ||
10:55-11:40 | 特邀报告三 Hierarchical Graph Pooling Method in Graph Neural Networks 特邀嘉宾：黄德双 同济大学电子与信息工程学院 教授、博士生导师 | 贲可荣 教授 海军工程大学 | 悦海宾馆 中心会议室 |
12:00-13:30 | 午餐 | 悦海宾馆 | |
时间 | 议程 | 主持人 | 地点 |
09:00-09:45 | 特邀报告四 理论计算机在工程实践中的应用 特邀嘉宾：陆品燕 上海财经大学信息学院教授 | 何琨 教授 华中科技大学 | 悦海宾馆 中心会议室 |
09:50-10:35 | 特邀报告五 Dynamic Learning Algorithms for Online Linear/ Nonlinear Optimization Problem 特邀嘉宾：王子卓 香港中文大学 副教授 | 尹一通 教授 南京大学 | |
10:35-10:55 | 中间休息/茶歇 | ||
10:55-11:40 | 特邀报告六 数据驱动的优化——对数据采样、学习和优化的 融合 特邀嘉宾：陈卫 微软亚洲研究院首席研究员 | 李建 教授 清华大学 | 悦海宾馆 中心会议室 |
11:40-12:00 | 大会闭幕式 | ||
12:00-13:30 | 午餐 | 悦海宾馆 | |
2021年7月24日（周六）下午 | |||
时间 | 议程 | 主持人 | 地点 |
14:00-17:00 | 理论计算机科学-生物信息学联合论坛 | 张法 研究员 中科院计算所 | 悦海宾馆 B3会议室 |
时间 | 议程 | 主持人 | 地点 |
19:30-21:00 | 专委工作会议 1. 专委工作报告 2. 常委增选 3. 新委员增选 | 蔡志平 教授 国防科技大学 | 悦海宾馆 B3会议室 |
2021年7月25日（周天）下午 | |||
时间 | 议程 | 主讲人 | 地点 |
14:00-17:00 | 随机算法导教班 | 尹一通 教授 | 悦海宾馆 B3会议室 |
2021年7月26日（周一）上午 | |||
时间 | 议程 | 主讲人 | 地点 |
9:00-12:00 | 随机算法导教班 | 张驰豪 博士 | 悦海宾馆 B3会议室 |
2021年7月24日（周六）下午 | ||||
时间 | 分组报告A组 论文题目 | 作者 | 主持人 | 地点 |
14:00-14:10 | 基于计算的蛋白质复合物预测方法综述 | 潘玉亮 | 席政军
陕西师范 大学 | 悦海宾馆 A5会议室 |
14:10-14:20 | 三台等级机器上带重排的半在线问题 | 赵姝 | ||
14:20-14:30 | QoS 保障下的无人机传感网安全通信 路径规划 | 吴嘉鑫 | ||
14:30-14:40 | Event-based functional decomposition | 蒋建民 | ||
14:40-14:50 | Belavkin-Staszewski 互信息 | 翟媛 | ||
14:50-15:00 | 基于模型驱动的Web服务建模及三阶段 转换方法 | 丁希龙 | ||
15:00-15:10 | 基于结构深度网络嵌入方法的微生物-疾病 关联关系预测 | 陈亚丽 | ||
15:10-15:20 | 一个新的面向轻量网络的RGB-D手势视频数据集及其基准评估 | 肖国键 | ||
15:20-15:40 | 中场休息 | 悦海宾馆 | ||
15:40-15:50 | Completely Independent Spanning Trees in a Kind of Data Center Networks | 程宝雷 | 奎晓燕
中南大学 | 悦海宾馆 A5会议室 |
15:50-16:00 | 一种基于交叉熵的top-k频繁项集挖掘算法 | 宋威 | ||
16:00-16:10 | Chain Rule for the Classical Information-Spectrum Entropy | 王晨旸 | ||
16:10-16:20 | 有向图的埃尔米特拉普拉斯矩阵研究 | 刘楷文 | ||
16:20-16:30 | 形式化模型驱动工程（FMDE）的理论和应用 研究 | 刘雅 | ||
16:30-16:40 | 自动算法程序设计模型研究 | 胡颖 | ||
16:40-16:50 | Evaluating Power, Performance, and Energy of Deep Neural Networks on CPUs and GPUs | 郭逸飞 | ||
17:30-19:00 | 晚餐 | 悦海宾馆 | ||
2021年7月24日（周六）下午 | ||||
时间 | 分组报告B组 论文题目 | 作者 | 主持人 | 地点 |
14:00-14:10 | 最小最大圈覆盖问题的精确算法 | 李江坤 | 左正康
江西师范 大学 | 悦海宾馆 A6会议室 |
14:10-14:20 | 程序求精新策略及自动验证方法研究 | 黄志鹏 | ||
14:20-14:30 | 二叉树队列关系问题非递归算法推导及形式化证明 | 方越 | ||
14:30-14:40 | 基于CPU+GPU异构并行的GRAPES中GCR算法性能优化研究 | 黄东强 | ||
14:40-14:50 | A primal-dual approximation algorithm for the minimum power partial cover problem with submodular penalties | 代涵 | ||
14:50-15:00 | 一种求解旅行商问题的信息传播算法 | 程亚南 | ||
15:00-15:10 | 基于模糊决策过程的模糊计算树逻辑 模型检测 | 李召恺 | ||
15:10-15:20 | 若干新型智能优化算法对比分析研究 | 张九龙 | ||
15:20-15:40 | 中场休息 | 悦海宾馆 | ||
15:40-15:50 | 序列折半划分簇问题的形式化推导 | 梁赞杨 | 潘海玉
桂林电子科技大学 | 悦海宾馆 A6会议室 |
15:50-16:00 | 面向公平保障的共乘定价与匹配算法 | 林彦佳 | ||
16:00-16:10 | SplitQA-KB：问题分解的知识问答方法 | 李明亮 | ||
16:10-16:20 | TIBD-QA：基于儿童病知识图谱的问答系统 | 张兴 | ||
16:20-16:30 | Model Checking of Computation Tree Logic Based on Possibilistic Decision Processes under finite-memory schedulers | 刘午牛 | ||
16:30-16:40 | A load forecasting method of power grid host based on SARIMA-GRU model | 吴宇洲 | ||
16:40-16:50 | 面向用户公平性的边缘内容缓存策略 | 吴纯 | ||
16:50-17:00 | 用于CD56图像分割的细胞标注精细化与 自适应加权损失 | 刘榕 | ||
17:30-19:00 | 晚餐 | 悦海宾馆 | ||
京公网安备 11010802032778号