中科院数学与系统科学研究院
数学研究所
学术报告会
报告题目： On healthiness conditions for predicate transformer semantics
报 告 人： Professor Klaus Keimel（Darmstadt University of Technology, Germany）
时 间： 2015年9月14日 (星期一), 上午10:00-11:00
地 点： 数学与系统科学研究院 南楼N210室