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