cscm08日程安排 - key laboratory of mathematics mechanization.doc

国家重点基础研究发展计划(973)项目 “数学机械化方法及其在信息技术中的应用” 学术交流与汇报会 第二届全国计算机数学学术会议 (CM 2008) 2008年10月24-27日 青岛 目 录 973项目学术交流与汇报会日程 第二届全国计算机数学学术会议日程 报告摘要 会议须知 第二届全国计算机数学学术会议组织 主办：中国数学学会计算机数学专业委员会 承办：中国石油大学 中国科学院系统科学研究所 中国科学院数学机械化重点实验室 会议主席：高小山 程序委员会： 李洪波(主席)、曾振柄、陈永川、李子明、 杨路、刘木兰、查红彬、陈发来、李华 组织委员会：李树荣(主席)、周代珍 、黄雷 国家重点基础研究发展计划(973)项目 “数学机械化方法及其在信息技术中的应用” 学术交流与汇报会 地点：青岛金港大酒店 时间：2008年10月24日 09:00-09:30 项目介绍、领导讲话 09:30-10:10 数学机械化理论与核心算法 10:10-10:30 休息 10:30-11:10 差分与微分方程的机械化算法 11:10-11:50 实几何与实代数的高效能算法 12:00-14:00 午餐 14:00-14:40 数学机械化与信息安全和编码基础理论研究 14:40-15:20 数学机械化在生物特征识别中的应用 15:20-15:40 休息 15:40-16:20 数学机械化在几何建模中的应用 16:20-17:00 基于网络的数学机械化软件开发 17:00 总结 18:00- 晚餐 第二届全国计算机数学大会日程 (CSCM 2008) 2008年10月25-27日 青岛金港大酒店 10月25日 地点： *** 09:00-10:00 开幕式 10:00-10:30 休息 主会场1（主席：高小山） 10:30-11:15 邀请报告: 徐宗本, 西安交通大学 基于视觉认知的数据建模 11:15-12:00 邀请报告: 齐东旭, 澳门科技大学 关于非连续的正交函数 12:00-2:00 午餐 10月25日 2:00-4:05 分组报告 **会议室 **会议室 **会议室 分组1：微分代数 （主席：李志斌） 分组2：编码与密码 （主席：邢朝平） 分组3：代数方法 （主席：齐东旭） 2:00-2:25 李子明, 吴敏 Computing dimension of solution spaces for linear functional systems 2:00-2:25 林东岱, 邓炎炎 密码学理论中的挑战 2:00-2:25 李邦和 酶动力学中的拟稳态假设 2:25-2:50 朝鲁 Differential Char. Set Algorithm for the Complete Symmetry Classification of PDEs 2:25-2:50 吴文玲 Improved Impossible Differential Cryptanalysis of Reduced-Round Camellia 2:25-2:50 黄雷, 李洪波 基于共形几何和复数法的几何计算新方法 2:50-3:15 刘姜, 李洪波, 曹源昊 涉及坐标变换的微分多项式在求和约定下的化简和标准型 2:50-3:15 刘峰, 武传坤, 林喜军 Color Visual Cryptography Schemes 2:50-3:15 廖啟征 四元数的复数形式及其在机构求解中的应用 3:15-3:40 李子明, Martin Ondera, 王怀富 Simplifying skew fractions modulo differential and difference relations 3:15-3:40 邓映蒲 攻破Cai-Cusick基于格的公钥密码系统 3:15-3:40 张树功 多元有理插值的Groebner基方法Sums-Of-Squares with Floating Point Scalars 3:40-4:05 袁春明 差分素理想的一个判定准则 3:40-4:05 王明生 Prime factorization of multivariate polynomial matrices 3:40-4:05 Erich Kaltofen, 李斌, 杨争锋, 支丽红 Exact Certification of Global Optimality of Approximate Factorizations Via Rationalizing 10月25日 4:05-4:25 休息 4:25-6:05 分组报告： **会议室 **会议室 **会