高橋正子 (国際基督教大学), 論理学の歴史とコンピュータ, 要旨
久馬栄道 (愛知学院大学教養部), NP完全問題を解ける弱い非決定性アルゴリズムについて
坂本伸幸 (東北大学大学院理学研究科数学専攻), 選択汎関数と高階逆数学, 要旨
鴨浩靖 (奈良女子大学 理学部 情報科学科), Ascoli-Arzel`a の定理の実効化
宮崎 裕 (北陸先端大学院大学), There exists a continuum of normal modal logics over KTB, 要旨
岡本暁広 (京大情報学研究科), 明示的環境を持つ計算体系λεのS.N.の証明の新手法
桜井貴文 (千葉大学 理学部 数学・情報数理学科), 線型シークエント計算と明示的代入計算
菊池健太郎 (千葉大学 理学部 数学・情報数理学科), 明示的代入計算とカット除去の強正規化性について, 要旨
西澤弘毅 (東京大学 情報理工学系研究科), 多様な Context の形式化のための Logical Framework, 要旨
松野裕、佐藤周行 (東京大学大学院新領域創成科学研究科基盤情報学専攻), Flow Analytic Type System for Array Bound Checks, 要旨
山本章博 (北海道大学 電子情報工学専攻・知識メディアラボラトリ), 論理と機械学習の接点に関する一考察 --反単一化の拡張を出発点として--, 要旨
本多 和正 (九州大学大学院 システム情報科学府 情報理学専攻), Dedekind圏の不等式命題の自動証明システム, 要旨
古森 雄一 (千葉大 理学部), Russel の逆理と BCK\beta\eta, 要旨
竹内泉 (東邦大学理学部), 型付Boehmの定理
福井 清香,鹿島 亮 (東京工業大学 情報理工学研究科 数理・計算科学専攻), Standardization Theorem for Left-normal Orthogonal TRSs, 要旨
永山操 (東京女子大学), ludics と proof nets の関係について