厦门大学陈清西教授

美国西密歇根大学杨子江副教授到软件所交流

5月31日上午,应基础软件国家工程中心的邀请,美国西密歇根大学杨子江副教授到中科院软件研究所进行学术交流,并作题为Scalable Symbolic Execution的学术报告。学术报告会...

中国科学院

著名国际法学家、武汉大学教授梁西逝世

武汉大学27日发布讣告,中国共产党优秀党员、著名国际法学家、法学教育家、中国国际组织法学开拓者和奠基人、武汉大学法学院教授梁西,于2月26日22时30分在武汉逝世...

枣庄网警巡查执法