[logic-ml] 証明論に関する２つのトーク (JAIST Seminar)

[Hiroakira Ono]

　　　　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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.fos.kuis.kyoto-u.ac.jp/pipermail/logic-ml/attachments/20120828/f5f988ff/attachment.html>