JAIST 第41, 42回 多次元セミナーの開催について
以前にもご連絡しましたが来る9月7日(金)に、下記のとおり北陸先端 科学技術大学院大学先端融合領域研究院主催による多次元セミナーを 開催します。
今回は10日（月）より金沢市で開催される LATD 2012
http://www.jaist.ac.jp/rcis/latd12/index.php?index
へ出席のため来日される N. Galatos さん、G. Restall さんのお二人による 証明論に関する２つのトークがあります。お気軽にご参加ください。
記
1. 日 時 平成24年9月7日(金)
2. 場 所 JAIST 情報科学研究科講義棟2階 I3・I4
http://www.jaist.ac.jp/general_info/access/index.html
3. 講 演
(1) 14:00～15:30
Nikolaos Galatos, Department of Mathematics, University of Denver
「Rediscovering Structural Proof Theory: an algebraic account」
(2) 15:45～17:15
Greg Restall, School of Historical and Philosophical Studies, University of Melbourne
「Sequent Systems and Defining Rules」
二つの講演のアブストラクトは以下をご覧下さい
http://www.jaist.ac.jp/rcis/seminar/
北陸先端科学技術大学院大学先端融合領域研究院 小野 寛晰 http://www.jaist.ac.jp/rcis/en