【主 催】情報科学研究科 学術振興・広報委員会
３月末をもって退職される、本研究科 情報基礎科学専攻 情報論理学講座 外山 芳人 教授による学術懇話会を開催します。皆様のご来聴をお待ちしております。
第17回（平成29年度）情報科学研究科 「学術懇話会」の開催について
- 【日時】平成３０年３月１５日（木） 午前１０時３０分～午前１２時
- 【場所】情報科学研究科棟２階 大講義室
| ＜プログラム＞ | |
|---|---|
| ■開会・挨拶 | 橋本 浩一 教授 （学術振興・広報委員会委員長） |
| ■講 演 | |
| １０：３５ | 「証明は計算できる ― 項書き換えシステムと私」 講演者: 外山 芳人 教授 司 会: 大堀 淳 教授 （システム情報科学専攻） |
| ■閉会・挨拶 | |
| １１：５０ | 徳山 豪 教授 （情報科学研究科長） |
- 【問い合わせ先】
- 情報科学研究科 教務係
- TEL:022-795-5814 FAX:022-795-5815
- e-mail:is-kyom*grp.tohoku.ac.jp（*を@に変えてください）