4月22日下午14：00，中国数学会2009学术年会组合与计算机数学分组报告在ylzzcom永利总站线路检测卢嘉锡楼202报告厅举行。本场分组报告由孟吉翔主持。

  北京大学数学科学学院冯荣权教授做了以“On the Coverings of Graphs”为题的学术报告。冯荣权教授以非常谦虚地话语开始自己的报告，接着介绍“Graphs, Cayley graphs, Regular quotients and regular coverings, Ordinary voltages, Graph coverings”方面的相关内容，“图覆盖”是此次报告的主题，那第一部分引出了“图覆盖”这一概念，介绍完“图覆盖”概念后，冯教授从“Isomorphism of coverings, Trivalent circulant graphs, Folding Number more than 3, Typical coverings of a Cayley graph, Enumeration of typical circulant coverings, Trivalent circulant graphs again, Double circulant coverings”这几个话题来阐述相关的内容以及自己的观点，本报告还有“Characteristic polynomials of graph coverings”和“Graph bundles, a generalization”这两部分的内容。报告完毕后，冯教授认真谦虚地回答了在场数学老师的提问。

    南开大学组合数学中心Chirs.Reidys教授做了以“RNA structures: combinatorics and folding”为题的学术报告。Chirs.Reidys教授从以下五部分来阐述他的本次报告：“RNA: some background”，“k-noncrossing RNA structures”，“Irreducibility in RNA”，“Cross: folding pseudoknot structures”和“rip: RNA-RNA interaction”。 Chirs.Reidys教授1995年获得德国Friedrich Schiller大学博士，1996年起在美国Los Alamos国家实验室计算机科学部工作,2007年1月到南开任教。Chirs.Reidys教授整场报告热情洋溢，充满幽默，报告完毕后认真回答了在场老师的提问。

北京大学数学科学学院夏壁灿教授做了题为“Semi-Algebra System Solving and Program Verification”的学术报告。夏壁灿教授向在场老师介绍了关于半代数系统求解的进展、工具及其应用，报告从以下几部分展开：“Semi-Algebra”，“A Demo on DISCOVERER”，“Reachebibity computation of hybrid systems”，“Invariant generation of polynomial programs”和“Discovering non-linear ranking functions”。夏教授报告的过程结合了程序的演示，报告结束后回答在场老师的提问。

上海师范大学数理学院王军教授做了题为“有限集上的组合学中的群论方法”的学术报告。王军教授从以下几个部分认真地阐述了此次的报告：“Two Famous Theorems on Finite Sets”，“Subset-Subspace Analogy”，“Normalized Property and LYM property for Ranked Posets”，“Group Action”，“Action of Groups on Ln(q)”和“Kruskal-Katona Theorem”。王教授在报告结束后认真回答了老师的问题。