| 日時 | 12月 28日 (木) 11:00 〜 |
| 会場 | 電気通信大学 総合研究棟 601号室 | 東京都調布市調布ケ丘 1-5-1 |
| 大学へのアクセス / キャンパスマップ (21番) | |
| 世話役 | 垂井 淳 (電気通信大学) |
| 11:00-12:00 | クエリー記号付きブール式に関する強制条件のサイズの数理：
計算量およびランダム性との関連（暫定タイトル） 鈴木登志雄（首都大） |
| 13:15-16:15 | 限定算術とproof complexityに関するチュートリアル 黒田覚（群馬県立女子大） |
| 16:30- | フリーディスカッション |
ディスカッション参加現時点予定者： 講演者に加えて
新井敏康（神戸大）、岡本龍明（NTT)、渡辺治（東工大）
戸田誠之助（日大）、垂井淳(電通大）
黒田さんのチュートリアルは、 参加者からの活発な質問想定して時間をとってあります。
京王線調布駅北口をでるとローターリー。 前方（改札を通り過ぎる方向）にまっすぐ進み広い道(甲州街道）を 渡って左に行くと電通大正門。（駅から徒歩４分ほど）
正門はいってちょっと左のほうのメインストリートを行くと左手に ベンチが並んだ広場がありその先の比較的新しい、高い（１０階）建物が 総合研究棟です。（正門から徒歩３分ほど）
エレベーターを６階でおり右手、事務室などが左右にある廊下の一番奥が ６０１号室です。