Workshop Top

pre-workshop seminar on "Category Theory,Computer Science and Topology"

This workshop was supported in part by JSPS Global COE program''Computationism As a Foundation of the Science''.
Workshop "Category Theory , Computer Science and Topology"に先駆け、 下記を開催します。入門的な内容を含みます。皆様奮って御参加下さい。

date: 2009/10/7,8
place: Tokyo Institute of Technology
room: 213 Main Bldg.

10/7

AM10:00-AM11:00
"Triangulated categories and finite dimensional algebras" Ryo Ookawa (Tokyo Institute of Technology)
PM01:00-PM02:00
"Symbolic Manipulation for pure functions" (Joint with T.Sakasai and A.Ushijima)
-Mathematica's pure functions as being like Lambda expressions or anonymous functions- Yusuke Kiriu (Studio Phones)
PM02:30-PM03:30
"Abelian categories constructed from a triangulated category : heart and tilting quotient." Hiroyuki Nakaoka (The University of Tokyo)
PM04:00-PM05:00
"Lagrangian Intersection Floer Theory before FOOO" Masahiro Futaki (The University of Tokyo)
PM06:30~
dinner

10/8

AM10:00-AM11:00
discussion
PM01:00-PM02:00
discussion

Information:
Ryo Ookawa (Tokyo Institute of Technology) ookawa at math.titech.ac.jp
Yusuke Kiriu(Studio Phones)