Workshop"Category Theory, Computer Science and Topology"
MOVED(Kobe University)
学長裁量経費 (教育・研究経費)「数理科学分野の連携と融合，創成：信州数理科学特別重点研究」研究代表者: 井上和行により部分的に支援を受けています
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）