主讲人:Franz Winkler (Research Institute for Symbolic Computation, Johannes Kepler University, Linz, Austria)时间:2015年9月28日上午10:00 地点:N420