佐藤雅彦 (京都大学大学院情報学研究科),判断と導出の理論, 要旨
竹内泉 (京都大学情報工学教室),論理的必然性の論理, 要旨
向井国昭・片山寛之 (慶応大学), アインシュタインボールパズルのモデル論とそれに基づく解の自動生成, 要旨
黒田覚 (群馬県立女子大学), Proof complexity of Grzegorcyk and other complexity classes
河野泰人 (NTT東日本研究開発センタ), 不完全性定理とフォーシング, 要旨
宮崎裕 (北陸先端大), Kripke style semantics of predicate orthologic, 要旨
田中義人 (九州産業大学経済学部), Incompleteness results in intermediate infinitary logics, 要旨
鹿島亮 (東京工業大学 情報理工学研究科), λβη計算の標準化定理の簡単な証明について, 要旨
横内寛文 (群馬大学情報工学科), Conditional type と principal typing, 要旨
鴨浩靖 (奈良女子大学 理学部 情報科学科) 実効的σコンパクト距離空間上の点の属するコンパクト部分空間について
小林聡 (京都産業大学理学部計算機科学科), Lifschitz の論理及び関連する体系について
藤田憲悦 (島根大学 総合理工学部), direct and continuation semantics for type-free lambda-mu-calculus
中沢巧爾 (京都大学大学院理学研究科), CPS変換を用いたラムダミュー計算の強正規化性の証明について
竹内大輔 (東北大学 理学研究科), 黄金比などによる実数の0,1表現と誤り検出, 要旨
本浜陽子 (Udine大学, 数学・情報科学科), Compositional characterizations of lambda terms using Intersection Types
高橋正子 (国際基督教大学), A practical proof system, 要旨
木下佳樹 (産業技術総合研究所情報科学連携研究体), クリーニ圏について