横内寛文 (群馬大学工学部情報工学科)
Refinement typeの型チェック・アルゴリズムとその実装
毛利元彦 (北陸先端科学技術大学院大学情報科学研究科)
XPE with Theorem Provers
竹内泉 (京都大学情報学研究科)
ω正則言語の測度が有理数であること
山田俊行 (筑波大学電子・情報工学系)
単純型付き項書き換え系の停止性
下田守 (下関市立大学)
ファジィ関係の一般化について
白旗優 (慶應義塾大学商学部)
ゲーデルのダイアレクティカ解釈とゲーム意味論
馬場謙介 (九州大学大学院システム情報科学研究科情報理学専攻)
場合分けによる証明
角谷良彦 (京都大学数理解析研究所)
Duality between Call-by-name Recursion and Call-by-value Iteration
佐々木克巳 (南山大学数理情報学部)
Propositional lax logic における選言のない論理式について
田中義人 (九州産業大学経済学部)
Some proof systems for common knowledge predicate logic