[logic-ml] 「計算による数理科学の展開 2011」のお知らせ

[SAKAI Hiroshi]

皆様：

神戸大学の酒井拓史と申します．
神戸大学で開催される研究集会「計算による数理科学の展開 2011」の
お知らせをさせていただきます：

計算による数理科学の展開 2011
日時： １月７日(金)〜８日(土)
場所： 神戸大学理学部 B428 教室
Web page： http://www.math.kobe-u.ac.jp/cm/koen/2011-01-07.html

この研究集会は，"計算の理論と実践", "計算による発見と検証" を
キーワードに, 招待講演者の講演を中心として年に一度開催されます．
今年は，京都大学の佐藤雅彦先生が招待講演者の一人になっておられ，
７日(金)の午後2時40分から
"Formalization of Mathematics"
と題してご講演をされます．

ご興味をお持ちの方は是非お越しください．

-----------------------------------
酒井 拓史
神戸大学大学院
システム情報学研究科 講師
e-mail: hsakai at people.kobe-u.ac.jp
tel: 078-803-6242
-----------------------------------