Workshop Top
Workshop"Category Theory, Computer Science and Topology"
学長裁量経費 (教育・研究経費)「数理科学分野の連携と融合，創成：信州数理科学特別重点研究」研究代表者: 井上和行により部分的に支援を受けています
date: 2009/10/17,18
place: Shinshu University
room: 理学部講義棟1F 第一講義室
10/17
09:00 - 09:45
"2-Dimensional Structural Operational Semantics via the Microcosm Principle --- An Instance of Category Theory in Computer Science"
Ichiro Hasuo (RIMS, Kyoto University)
09:55 - 10:40
"Symbolic Behavior and Symbolic Manipulation 0 : Interlace"
(with T.Sakasai and A.Ushijima)
Yusuke Kiriu（Studio Phones）
10:50 - 11:35
"Lantern relations, substitutions, and rational blowdowns of Lefschetz fibrations"
Hisaaki Endo (Osaka University)
11:45 - 12:30
"Logical predicates for monads by TT-lifting"
Sinya Katsumata (RIMS, Kyoto University)
13:30 - 14:15
"General heart construction on a triangulated category"
Hiroyuki Nakaoka (The University of Tokyo)
14:25 - 15:10
"Kleinian groups, hyperbolic geometry and computer"
Yasushi Yamashita（Nara Women`s University）
15:20 - 16:05
"The triangulated category associated with a regular system
of weights."
Kyoji Saito (IPMU, the university of Tokyo)
Kontsevich氏来訪によりキャンセルとのことです。
この時間は休憩時間に割当てられます
17:10 - 17:55
"Geometry of recursion, geometry of interaction and traced monoidal categories"
Masahito Hasegawa (RIMS, Kyoto University)
Dinner
10/18
09:00 - 09:45
"Enriched Stacks and Duality"
Dai Tamaki（Shinshu University）
09:55 - 10:40
"On the tensor category of projective modules of the small quantum group"
Jun Murakami (Waseda University)
10:50 - 11:35
"Periods and computational complexity of real numbers."
Masahiko Yoshinaga (Kyoto University)
11:45 - 12:30
"Holonomies and the slope inequality of Lefschetz fibrations "
(Joint with H. Miyachi)
Hiroshige Shiga (Tokyo Institute of Technology)
13:30 - 14:15
"History of Topology and Computer"
Sadayoshi Kojima (Tokyo Institute of Technology)
14:25 - 15:10
"Moduli of Bridgeland semistable objects on the projective plane"
Ryo Ookawa (Tokyo Institute of Technology)
15:20 - 16:05
"On thin presentations of 3-manifolds and links"
Tsuyoshi Kobayashi (Nara Women's University)
16:15 - 17:00
"Transcendental lattices of surfaces"
Ichiro Shimada (Hiroshima University)
17:10 - 17:55 (~ 1830 : extended)
"On glimpse of Lagrangian Floer theory"
Kaoru Ono (Hokkaido University)
Information：
Katsuhiko Kuribayashi（Shinshu University）
Dai Tamaki（Shinshu University）
Yusuke Kiriu（Studio Phones）