みなさま
東京大学萩谷研の平井洋一です。 先般ご案内のLogic Zooワークショップのプログラムを流します。ご参加お待ちしております。
平井洋一
◆日時と場所 2013年1月31日(木) 10:00〜17:00 東京大学本郷キャンパス化学東館236室(理学部7号館より入る)
◆プログラム 10:00〜11:30 (TBA) ・Kazuyuki Asada (NII) Curry-Howard Correspondence between Dialectica Interpretation and Bidirectional Transformation ・Yoshihiko Kakutani (Univ. Tokyo) and/or Daisuke Kimura (NII) What is natural numbers in call-by-name lambda-mu? ・Ichiro Hasuo (Univ. Tokyo) Nonstandard Static Analysis: Discrete Verification Methodologies Transferred to Hybrid Applications
12:00〜13:00 (TBA) ・Mamoru Kaneko (Univ. Tsukuba) Infinite Regresses arising from Prediction/Decision Making in Games (with Tai-Wei Hu) ・Yoichi Hirai (Univ. Tokyo) Complexity of Conditinal XPath Containment
14:00〜15:00 (TBA) ・Andrzej Murawski (Univ. Warwick) TBA ・Kensuke Kojima (Kyoto University) A Hoare logic for SIMT programs
15:30〜17:00 (Yoichi Hirai) ・Shunsuke Yatabe (Kyoto University (AIST)) Naive Set Theory and Coinduction ・Masaki Hara (Univ. Tokyo) Coqで直観主義命題論理の決定性を証明する (On proving decidability of Intuitionistic Propositional Calculus on Coq) ・Toshiki Takahashi (Free Scientist) Botanical Shapes Generated by 3rd Data Structure, "Poker"
◆その他情報 http://logiczoo13.pira.jp/