今年，是我國著名數理邏輯學家、計算機科學家胡世華先生誕辰100周年。為紀念胡先生對我國數理邏輯、計算機科學、科學哲學和數學史等學科的獨特貢獻，中國科學院軟件研究所將于2012年4月23、24日舉辦兩項活動----“胡世華先生誕辰一百周年紀念會”和“2012邏輯、計算與信息研討會”。

胡世華先生從事數理邏輯研究，注重理論創新，大力提倡應用數理邏輯研究計算機科學，表現出胡先生深刻的科學思想和卓越的學術遠見。

學習胡先生的科學思想，秉持繼承與發展并重，立足于當代科學問題，開創我國數學與計算機科學交叉領域的未來。研討會邀請我國數理邏輯、計算機科學等方面的優秀代表做報告，會后將出版學術期刊論文專輯。

紀念會會期：4月23日上午9:00-11：30

研討會會期：4月23日下午和4月24日上午

地點：軟件所5號樓4層報告廳

附件：《胡世華先生生平介紹》