中国科学院软件研究所5号楼
今年是我国著名数理逻辑学家、计算机科学家胡世华先生诞辰100周年。为纪念胡先生对我国数理逻辑、计算机科学、科学哲学和数学史等学科的独特贡献，中国科学院软件研究所将于2012年4月23日、24日举办两项活动——“胡世华先生诞辰一百周年纪念会”和“2012逻辑、计算与信息研讨会”。
胡世华先生从事数理逻辑研究，注重理论创新，大力提倡应用数理逻辑研究计算机科学，表现出胡先生深刻的科学思想和卓越的学术远见。
学习胡先生的科学思想，秉持继承与发展并重，立足于当代科学问题，开创我国数学与计算机科学交叉领域的未来。研讨会邀请我国数理逻辑、计算机科学等方面的优秀代表作报告，会后将出版学术期刊论文专辑。
纪念会会期：4月23日上午9：00-11：30
研讨会会期：4月23日下午和4月24日上午
地点：中国科学院软件研究所5号楼4层报告厅
胡世华先生百年诞辰纪念会组织委员会（按姓氏笔画）：许孔时、李玉成、李昂生、杨东屏、周巢尘、胡永千、詹乃军等
《中国科学报》 (2012-04-18 A4 专题)
