理論計算機科学と圏論ワークショップ

Workshop on Computer Science and Category Theory

CSCAT 2009

2009年3月16日(月)午後〜3月18日(水)午前

千葉大学 理学部

日程:2008年3月16日(月)午後〜3月18日(水)午前
会場:千葉大学 理学部2号館105 (西千葉キャンパス)
〒263-8522 千葉市 稲毛区 弥生町 1-33
幹事:桜井貴文(千葉大学)
連絡先:sakurai AT math DOT s DOT chiba-u DOT ac DOT jp

CSCAT 2010の幹事は勝股審也さんです。


アクセス


参加者

Craig Pastro(京都大学)、浅田和之(京都大学)、角谷良彦(東京大学)、勝股審也(京都大学)、亀山幸義(筑波大学)、木村大輔(国立情報学研究所)、佐藤周行(東京大学)、白旗優(慶應大学)、立木秀樹(京都大学)、戸田貴久(京都大学)、西澤弘毅(鳥取環境大学)、蓮尾一郎(京都大学)、星野直彦(京都大学)、桜井貴文(千葉大学)


プログラム (アブストラクト付プログラム)

3月16日(月)

14:45opening
15:00桜井貴文
Reduction-Preserving Translations from Classical to Intuitionistic Logic
16:00蓮尾一郎
The Microcosm Principle and 2-Dimensional SOS
17:00勝股審也
On the biadjunction between 2-categories of traced monoidal categories and tortile monoidal categories

3月17日(火)

10:30Craig Pastro
Tambara profunctors and the centre of functor categories
12:00昼休み
13:30浅田和之
Introduction of arrows with profunctors
15:00立木秀樹
On Finite-time Computability Prserving Conversions
16:00亀山幸義
Shifting the Stage Starting with Delimited Control
17:00木村大輔
古典S4論理に対応する計算体系
18:00懇親会

3月18日(水)

10:30戸田貴久
実射影空間における凸概念とへリー型の定理
11:30星野直彦
Int construction and biproducts
12:30西澤弘毅
A new characterization of closed type of multirelation

その他

ワークショップに関する情報交換のためのメーリングリストがあります。登録を希望される方は、幹事までご連絡ください。


過去のCSCAT

[CSCAT 2003 (慶應大学) | CSCAT 2004 (産総研) | CSCAT 2005 (筑波大学) | CSCAT 2006 (広島大学) | CSCAT 2007 (京都大学) | CSCAT 2008 (東北大学) ]