大会特邀报告：
- 徐宗本（西安交通大学）
西安交通大学教授、博士生导师，中国科学院院士。西安交通大学副校长；国家科技部《国家重点基础研究发展规划》（973）信息领域咨询专家组成员；国务院学位委员会数学学科评议组成员；国家自然科学基金委员会信息学部计算机学科评审组成员；国家教育部科技委(数理学部)委员；教育部《数学与统计学教学指导委员会数学类专业教学指导分委员会》副主任；《数学基础课程教学指导委员会》主任；中国运筹学会智能计算分会副理事长；高等教育出版社《信息与计算科学专业系列丛书》主编；陕西省数学会理事长。
长期从事Banach空间几何理论与智能信息处理的数学基础方面的教学与研究工作。在《中国科学》、《IEEE神经网络汇刊》、《IEEE模式分析与机器智能汇刊》、《IEEE演化计算汇刊》、《IEEE自动控制汇刊》、《IEEE信息论汇刊》、《国际神经网络协会会刊：神经网络》等著名杂志发表学术论文172篇，其中国际杂志121篇（IEEE Transaction上Regular Paper 22篇）。国内中国科学4篇，数学学报19篇。在所发表的论文中，被SCI收录的126篇，被SCI论文引用785次 (他引642次),平均被引用7.86次/篇。主要学术贡献包括：将数据建模从“辅助作图”层次提升到“认知模拟”层次,系统提出了基于视觉认知的数据建模新原理与新方法；发现非欧氏框架下的“类二项式公式”数据建模新工具（Xu-Roach定理），奠定了机器学习正则化方法的分析基础；提出压缩感知L1/2正则化理论，解决了稀疏信号处理、神经网络系统、模拟进化计算中的一些重要基础问题。研究结果《基于认知与非欧式框架的数据建模基础理论研究》曾获国家自然科学二等奖（2007）；徐宗本教授曾获第二届CSIAM苏步青应用数学奖（2008）,并特邀在2010年印度海德拉巴召开的第26届国际数学家大会上作45分钟报告。
报告题目：TBA 摘要：TBA
- 李志斌（华东师范大学）
华东师范大学教授、博士生导师。华东师范大学党委常委、副校长，国务院学位委员会第七届学科评议组成员。长期从事计算机符号计算及其在非线性科学中的应用研究工作。在国内率先开展数学物理方程解析解的符号计算研究，在非线性数学物理领域发表 SCI 检索论文近百篇（他引次数达1615次）、出版专著一部。作为学术骨干连续参加国家攀登计划项目“机器证明及其应用”、“数学机械化及其应用”和国家重点基础研究发展计划（973）项目“数学机械化与自动推理平台”、“数学机械化及其在信息技术中的应用”等的研究。主持完成多项国家自然科学基金项目、上海市自然科学基金项目以及教育部博士点专项基金项目。先后获得过霍英东教育基金会高校青年教师奖、国家优秀教学成果二等奖和上海市曙光学者称号。
报告题目：TBA
摘要： TBA
- 刘永进（清华大学）
清华大学计算机系长聘教授，人机交互与媒体集成研究所所长。1998年获天津大学学士学位，2000年和2004年分别获香港科技大学硕士和博士学位。主要研究方向为计算几何、认知计算以及智能信息处理。在IEEE PAMI和ACM TOG等IEEE/ACM Transactions上发表论文31篇，两次获得世界华人数学家联盟年度最佳论文奖（2017，2018）、国际著名会议SPM2014的最佳论文奖、CVMJ期刊2015年度最佳论文奖以及指导博士生获得IEEE ROBIO 2017最佳学生论文提名奖，培养多名博士生、硕士生获得清华大学校级优秀博士/硕士学位论文。近十年作为课题负责人承担包括国家自然科学基金重点项目、杰青（2017）和优青（2013）项目在内的多项国家科技计划项目，获得英国皇家学会牛顿高级学者基金（2017）和日本大川情报通信基金研究助成项目奖（2016），获得2011年国家技术发明奖二等奖和2018年吴文俊人工智能自然科学奖一等奖。授权发明专利12项，其中一项专利作价780万元进行了科技成果转化。
报告题目:低维流形上的内蕴几何结构与可视媒体智能处理
摘要：随着视觉传感器的普及并借助网络的传播，目前，图像、视频和三维图形模型不断涌现。这三种数字媒体都处于人脑信息加工的视感知通路上，我们把它们统称为视觉媒体。借鉴人类智能与认知机理，发展面向可视媒体的新型智能信息处理计算模式是信息领域当中的基础科学探索。2000年开始兴起的流形学习研究热潮，是基于人类视感知系统中的流形表达是一种重要的几何结构这一观点。然而直到目前为止，大多数的研究都是在一个维度很高的特征空间找寻可视媒体数据的内蕴维度，并进行降维分析。此次报告中，我们讨论降维的逆过程，即将可视媒体映射到一个嵌入在高维欧式空间中的低维流形上，通过这种低维流形表达，我们开展了低维流形上的内蕴几何结构研究，具体包括测地质心Voronoi图和对偶内蕴Delaunay三角化的组合复杂度、计算复杂度以及高效计算方法。相关工作可以克服传统欧式空间无法高效表征媒体数据中常见弯曲特性（比如视频图像上的测地距离）的缺陷，为可视媒体智能信息处理提供了有力的理论基础和关键技术支撑。
青年学者邀请报告：
- 陈长波（中国科学院重庆绿色智能技术研究院）
题目：A Numerical Roadmap Algorithm for Smooth Bounded Real Algebraic Surface
摘要：For a smooth bounded real algebraic surface in three-dimensional space, a roadmap of it is a one-dimensional semi-algebraic subset of the surface whose intersection with each connected component of the surface is nonempty and semi-algebraically connected. In this paper, we introduce the notion of a numerical roadmap of a surface, which is a set of polygonal chains such that there is a bijective map between the chains and the connected components of a given roadmap of the surface. Moreover, the chains are $\epsilon$-close to the connected components. We present an algorithm to compute such a numerical roadmap through constructing a topological graph. The topological graph also enables us to compute a more intrinsic connectivity graph of the roadmap, which is important for applications such as finding a connected path between two points on the surface, as well as grouping witness points of the surface into different connected components. This is a joint work with Wenyuan Wu and Yong Feng.
简介：陈长波，中国科学院重庆绿色智能技术研究院副研究员，中国数学会计算机数学专委会委员。 主要研究方向为参数多项式系统的符合数值计算及其应用。 代表性成果包括与合作者一起： 提出了复的柱形分解的概念及基于此的实柱形代数分解和量词消去算法； 提出了通用三角分解和实三角分解的理论及算法； 改进了多项式系统渐进三角分解算法的效率； 提出了一个新的数值求解参数半代数系统的框架。 作为主要负责人之一开发的RegularChains 软件曾获ACM-SIGSAM颁发的杰出软件演示奖。 迄今为止在Journal of Symbolic Computation,Physical Review A,Scientific Reports 等学术期刊和ISSAC、CASC等国际会议发表学术论文40余篇。- 李伟（中国科学院数学与系统科学研究院）
题目：Differential Chow forms and differential Chow varieties
摘要：The Chow form and the Chow variety are basic concepts in algebraic geometry and have fruitful applications in intersection theory, elimination theory and other fields of mathematics. During the past ten years, we have established a theory for the analogous concepts in differential algebraic geometry, and many new problems have arisen. In this talk, I will give an overview of the theory of differential Chow forms and differential Chow varieties, and present several open problems.
简介：李伟，中科院数学与系统科学研究院副研究员，主要研究方向为构造性微分代数几何与差分代数。2012年博士毕业于中科院数学与系统科学研究院，2014–2015年在UC Berkeley数学系访问。与合作者建立了微分代数几何中的微分周形式与微分周簇理论，并发展了稀疏微分(差分)结式的理论及高效消元算法。在Found. Comput. Math.，Trans. Amer. Math. Soc.，J. Lond. Math. Soc.，Proc. Amer. Math. Soc.，J. Symb. Comput.，J. Algebra，Adv. Appl. Math. 等国际期刊与ISSAC会议上发表多篇论文。 获得的主要奖项包括：国际计算机协会(ACM) SIGSAM “ISSAC2011 杰出论文奖”、中国科学院优秀博士学位论文、关肇直青年研究奖、中科院数学院2016年度“突出科研成果奖”、“陈景润未来之星” 计划等。。- 孙瑶（中国科学院信息工程研究所）
题目：基于线性代数方法的Keccak(SHA-3)算法原像攻击
摘要：继MD5和SHA-1算法相继被发现严重安全隐患后, 美国标准技术研究院(NIST)于2008年举办了SHA-3竞赛, 公开向全世界征集新一代hash标准, 最后Keccak算法于2012年在竞赛中胜出, 并在2015年被正式确认为第三代hash函数标准。目前Keccak（SHA-3）算法已经广泛的应用于社会生活的各个领域。在本次报告中, 我们将基于线性代数方法对Keccak算法实例进行原像攻击。具体来说，我们首先提出一种全新的“交叉线性”代数结构，攻破了一个Keccak挑战实例 Keccak[r = 240, c = 160, nr = 3]；其次，我们扩展了该结构并基于多消息块模型给出了3轮和4轮Keccak-224和256目前最好的原像攻击结果；最后，我们给出了一个3轮Keccak-224的实际原像攻击。 简介：孙瑶，中国科学院信息工程研究所，信息安全国家重点实验室副研究员。主要从事代数方程组求解、Hash函数分析、以及深度学习算法方面的研究。提出和实现公开领域效率最高的（参数）Groebner基算法——最重要的代数方程组求解算法之一；基于代数方法攻破了第十一个（也是目前最后一个被攻破）的Keccak原像挑战问题，给出了目前3轮和4轮Keccak原像攻击的最好结果。在国内外高水平会议和期刊，包括EUROCRYPT、CVPR、FSE、TIP、JSC、ISSAC、FFA、MM等，发表学术论文20余篇。目前主要致力于密码系统的智能化分析技术研究。- 王星炜（南开大学）
题目：Analytical and computational properties of combinatorial sequences
摘要：In this talk, we will investigate the analytical and computational properties of some celebrated combinatorial sequences. We will focus on the log-concavity, log-convexity, interlacing log-concavity, in?nite log-monotonicity and ratio log-concavity of combinatorial sequences. Moreover, we will concern with the higher order Tur?an inequality and determinantal inequalities of the partition function. 简介：王星炜，1982年10月24日出生，现为南开大学组合数学中心副教授。2005年本科毕业于清华大学数学系，2010年博士毕业于南开大学组合数学中心，指导老师为陈永川院士，曾与2017年到2018年访问美国Texas A&M University数学系一年。主要从事于组合数学中的分析和计算性质，极值组合序，代数组合学等领域的研究，发表杂志包括《Trans. Amer. Math. Soc.》，《Math. Comp.》，《Pacific J. Math.》，《Proc. Amer. Math. Soc.》，《Proc. Royal. Soc. Edinb. A》，《Proc. Edinb. Math. Soc.》，《SIAM J. Discrete Math.》，《Adv. Appl. Math.》等，被邀请在2018年的SIAM Conference on Discrete Mathematics上做30分钟报告。- 杨争峰（华东师范大学）
题目：Robustness Verification of Deep Neural Networks via Linear Programming
摘要：There is a pressing need to verify robustness of deep neural networks (DNNs) as they are embedded in many safety-critical applications. Existing robustness verification approaches rely on computing the over-approximation of the output set, and can hardly scale up to practical DNNs, as the result of error accumulation accompanied with approximation. In this talk, we present a novel method for robustness verification of DNNs with sigmoid activation functions. It converts the robustness verification problem into an equivalent problem of inspecting the most suspected point in the input region which constitutes a nonlinear optimization problem. To make it amenable, by relaxing the nonlinear constraints into the linear inclusions, it is further refined as a linear programming problem. We conduct comparison experiments on a few DNNs trained for classifying images in some state-of-the-art benchmarks, showing our advantages of precision and scalability that enable effective verification of practical DNNs.
简介：杨争峰，华东师范大学计算机科学与软件工程学院，副教授。2006年博士毕业于中国科学院 数学与系统研究院。主要研究方向为符号计算、形式化方法、软件工程。已在ISSAC、EMSOFT、FM、CVPR等国际会议和JSC、ACM TECS、IEEE TCAD等国际期刊上 发表学术论文40余篇。- 余志恒（西南交通大学）
题目：Conjugation of Rational Functions to Power Functions and Applications to Iteration
摘要： In this talk we investigate normalization of rational functions, reducing in the sense of conjugation to monomials or more general power functions. We give conditions for the normalization by computing minimal irreducible decomposition of algebraic varieties. We use those conditions to compute the general n-th order iterates and iterative roots for those rational functions.
简介、：余志恒，西南交通大学数学学院讲师。主要研究兴趣是符号计算在微分方程与动力系统问题中的应用，主要围绕多项式迭代根的存在性和计算以及多项式的非单调高度等问题开展研究工作. 针对多项式情形利用结式和多项式完全判别系统等工具讨论了迭代次数小于非单调点个数且高度>1时多项式迭代根存在的条件，部分地回答了张景中和杨路1983年提出的公开问题. 研究了在共轭等价意义下非双曲情形中映射的约化问题，引入极稀疏有理函数来建立约化中的共轭关系，利用多项式代数中的消元定理、代数簇的极小不可约分解以及Gr?bner基理论给出了两个算法，分别获得5次以上有理函数约化为幂函数的代数条件，并由此计算出了有理函数的n次迭代和迭代根的解析表达式。自 2014 年起， 连续两次获得欧盟居里夫人国际研究学者交流计划项目（项目号： FP7-PEOPLE-2012-IRSES-316338） 的资助, 去往罗马尼亚Craiova大学、Timisoara工业大学以及波兰Zielona Góra大学展开交流合作。