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