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

皆様：

神戸大学の酒井拓史と申します． 神戸大学で開催される研究集会「計算による数理科学の展開 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: [email protected] tel: 078-803-6242 -----------------------------------