理論計算機科学と圏論ワークショップ
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の幹事は勝股審也さんです。
アクセス
- 会場のある西千葉キャンパスは、
JR西千葉駅から徒歩2分、または京成みどり台駅徒歩7分です。
(これらの駅への経路)
- 理学部2号館は、
西千葉キャンパスの
建物配置図には、
建物の旧名称である「(15)理学系総合研究棟」と記載されています。
- 会場は理学部2号館の1階です。
同じフロアーに「サイエンスプロムナード」という展示がありますので、
建物にたどりつけないときに助けにして下さい。
参加者
Craig Pastro(京都大学)、浅田和之(京都大学)、角谷良彦(東京大学)、勝股審也(京都大学)、亀山幸義(筑波大学)、木村大輔(国立情報学研究所)、佐藤周行(東京大学)、白旗優(慶應大学)、立木秀樹(京都大学)、戸田貴久(京都大学)、西澤弘毅(鳥取環境大学)、蓮尾一郎(京都大学)、星野直彦(京都大学)、桜井貴文(千葉大学)
3月16日(月)
14:45 | opening |
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:30 | Craig 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 (東北大学) ]