[DEMO]
湯淺太一
SICP演習用に機能拡張したScheme-in-Java

[POSTER]
加藤祐輝、中澤巧爾
存在型に対する型検査問題と型推論問題の同値性

[POSTER, DEMO]
西本匡志, 川端 英之, 北村俊明
モバイルデバイスのためのビジュアルプログラミング環境の設計と実装 

[POSTER]
小笠原　啓
マルチスレッド環境におけるGUIモデル

[POSTER]
松本 久志
統合開発環境のためのプログラミング言語拡張フレームワーク

[SHORT]
Phillip James, Yoshinao Isobe, Markus Roggenbach 
Verifying Train Control Software -- An exercise in SAT-based Model Checking 

[POSTER]
別役 浩平
ユーザ毎にカスタマイズ可能な Web アプリケーションの効率の良い実装方法

[SHORT]
佐藤亮介，末永幸平，小林直樹
木構造データに対するストリーム処理のための順序付き非線形型

[POSTER]
ZAKIROV Salikh スレッド別ゴミ集めによるキャッシュ効率向上

[POSTER]
佐藤重幸
GPU を利用する融合変換機構付きスケルトン並列フレームワーク

[POSTER]
塚田武志, 五十嵐淳
Environment Classifiers の論理的基礎付け

[POSTER, DEMO]
櫻井加奈子, 浅井健一
証明木作成のためのGUI構築

[SHORT]
番原睦則，丹生智也，田村直之
SAT変換に基づく制約ソルバーSugar

[POSTER]
海野広志, 小林直樹
Dependent Type Inference with Interpolants

[SHORT]
橋本健二，石原靖哲，藤原融
XMLスキーマ進化におけるユーザ指定関係に基づく情報保存と更新操作群

[POSTER]
森口草介, 渡部卓雄
ジョインポイントモデルにおける操作の抽象化

[SHORT]
丹生智也，番原睦則，田村直之
PrologからJavaへのトランスレータ処理系の設計と実装

[POSTER]
上田やよい, 浅井健一
型付き対称λ計算における論理積型と論理和型の導入

[POSTER, DEMO]
江本健斗, 胡振江, 筧一彦, 松崎公紀, 武市正人
プログラム運算に基づく最適化機能つきFortressライブラリ

[POSTER]
対馬かなえ，浅井健一
再帰と限定継続を扱うpolyvariantな部分評価に向けて

[POSTER, DEMO]
木津幸子
Bi-HaXml: A Haskell Library for Bidirectional XML Transformations

[SHORT, DEMO]
磯部祥尚
定理証明器による双模倣等価性の自動証明

[POSTER]
松田一孝, 胡振江, 武市正人, 穆信成
木文法の構文解析を利用したプログラム逆計算

[POSTER]
畑山大輔
合成規則を持つ明示的代入計算における正規化可能性

[POSTER, DEMO]
橋本英樹, 胡振江, Julien Tesson, 武市 正人
プログラム運算のためのCoqライブラリ

[POSTER]
八鍬豊, 上田和紀
階層グラフ書換え言語LMNtalにおけるプロセスの等価性の提案と検討

[SHORT]
道又淳一, 青戸等人, 外山芳人
多重Knuth-Bendix完備化における効率化手法の導入

[POSTER, DEMO]
Jacques Garrigue
OCamlを型付ける？構造的多相性の健全性と型推論をCoqで

[POSTER]
アフェルト レナルド
Coq上での組込み用途の冪剰余の検証

[SHORT]
Rossen MIKHOV
Dual calculusのための、名前呼び、値呼び、および、必要呼び抽象機械

[SHORT]
高田喜朗, 森田剛正, 関浩之
情報流仕様に基づくアクセス権検査文自動挿入法

[SHORT]
磯部耕己, 青戸等人, 外山芳人
S式書き換え系の停止性を保証するカリー化について

[SHORT]
村井正勝，青戸等人，外山芳人
基底項書換え系の合流性判定手続きの効率化

[SHORT]
平井洋一 
トートロジーの中で代入極小でない中間論理の公理

[POSTER]
廣瀬賢一, 大谷順司, 石井大輔, 細部博史, 上田和紀
制約概念に基づくハイブリッドシステムモデリング言語HydLaの実装

[DEMO]
綾野貴之, 堀泰祐, 後町将人, 岩澤宏希, 小川誠司, 上田和紀
LMNtalモデル検査の可視化環境