【转发】软件学院学术报告通知
by 怀丽 - 日本北陆先端科学技术大学院大学特聘教授Hiroakira Ono教授学术报告
时间：2011年10月26日——10月28日，每天下午14:30——17：00
地点：25教学楼B座407会议室
报告主题：Logic for Computer Science
主讲人：日本北陆先端科学技术大学院大学特聘教授 Hiroakira Ono教授
主讲人简介：Hiroakira Ono教授历任津田塾大学副教授、广岛大学教授、北陆先端科技大教授、北陆先端科技大副校长，2008年被授予特聘教授。其主要研究领域为：有关亚结构逻辑的代数的研究，模态逻辑，机械证明/自動定理证明等。
欢迎各位教师和学生参加！