CSCAT 2012

CSCAT(理論計算機科学と圏論ワークショップ)は,数学の分野である圏論の情報科学への応用に関心を持つ研究者による研究集会です.通常の学会では,時間の制約などのため,研究の詳細にまで立ち入った発表と議論はなかなかむずかしいのが実情です.本研究集会は,1つ1つの発表に長い時間を割り当て,じっくりと話を聞き,議論する場を提供することを目的としています.


2012年の開催場所と日程

2012年は慶應大学の日吉キャンパス来往舍2F中会議室で,3/12(月)と 3/13(火)の2日間にわたって開催します.昨年はやはり慶應日吉で開催予定でしたが,東日本大震災で中止となりました.今年はあらためての開催となります.幹事は慶應大学の白旗優です.

来往舍は日吉キャンパスの研究室棟です.日吉駅の綱島街道側の出口からでて,綱島街道を渡り,日吉キャンパス内の銀杏並木を進んでいくと, 左手にガラス張りの建物があります.それが来往舍です.中会議室は2Fにあります.


懇親会

3月12日(月)の夜に懇親会を予定しています.


講演プログラム

講演のプログラムは,以下をご覧ください.アブストラクトは頂いたものだけを掲載しています.