Prof. Sy David Friedman's talk on June 30. - Logic-ml - fos.kuis.kyoto-u.ac.jp

26 Jun 2011

      渕野 昌＠神戸大学システム情報学研究科というものです．
以下の講演を御案内いたします．
------------------------------------------------------------------------------
2011年 6月30日（木）に開催される
神戸大学統合研究拠点設置記念・システム情報学研究科1周年
合同シンポジウム
http://kurt.scitec.kobe-u.ac.jp/~fuchino/misc/flier-11-05-20.pdf
において，
ウィーン大学 Kurt Goedel Research Center 所長
Prof. Sy David Friedman が
"Mathematical Logic and its Role in Computer Science and Mathematics"
という題の（一般向けの）講演をされます．
日時: 2011年 6月30日（木）15:10 -- 16:10
場所: 神戸ポートピアホテル南舘1階（大輪田）
------------------------------------------------------------------------------
お時間のある方はぜひいらしてください．
-- 
best regards                                    Saka'e Fuchino (渕野 昌)
-------------------------------------------------------------------------
Kobe University 
Graduate School of System Informatics 
Rokko-dai 1-1, Nada, Kobe 657-8501

                   e-mail: [email protected] 
                   web page: http://kurt.scitec.kobe-u.ac.jp/~fuchino/

My mail surver in Tokyo (to which all the emails to the address above 
are forwarded) does not run properly at the moment in connection 
with the aftermath of the earthquake on March 11, 2011. To be sure

please send your email not only to the email address above but 
also to:                   [email protected]
-------------------------------------------------------------------------