以前にもご連絡しましたが来る9月7日(金)に、下記のとおり北陸先端

科学技術大学院大学先端融合領域研究院主催による多次元セミナーを

開催します。

　今回は10日（月）より金沢市で開催される LATD 2012

へ出席のため来日される N. Galatos さん、G. Restall さんのお二人による

証明論に関する２つのトークがあります。お気軽にご参加ください。

　　　　　　　　　　　　記

　　1. 日　　時　平成24年9月7日(金)

　　2. 場　　所　JAIST 情報科学研究科講義棟2階　I3・I4

　　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」

二つの講演のアブストラクトは以下をご覧下さい

北陸先端科学技術大学院大学先端融合領域研究院

　　小野　寛晰