This workshop is supported by Grant-in-Aid Scientific Research (A) No. 22244004
(Sadayoshi Kojima, Tokyo Institute of Technology).
Scope
This workshop aims for the development of the study of topology by using computers. Talks of the workshop
contain:
- Results in topology inspired by computer experiments
- Results in topology with computer aided proof
- Implementing algorithms in topology and introduction of software in topology
- Introductory lectures on applications of topology
- Introductory talks of potensially related topics with topology
Speakers
- Yasuaki Hiraoka (Kyushu University)
- Yuki Igarashi (Tsukuba University, Meiji University)
- Kazuhiro Ichihara (Nihon University)
- Tetsuya Ito (RIMS, Kyoto University)
- Yuichi Kabaya (Osaka University)
- Eiko Kin (Osaka University)
- Hidetoshi Masai (Tokyo Institute of Technology), Akitoshi Takayasu (Waseda University)
- Saki Nakatsuma (Nara Women's University)
- Takefumi Nosaka (Kyushu University)
- Yoshimasa Takabatake (Kyushu Institute of Technology)
- Tomoka Tanabe (Nara Women's University)
- Akira Yasuhara (Tokyo Gakugei University)
Program
[PDF](including abstracts)
Access
Meiji University Nakano Campus
From Nakano Station, it takes about 8 minites on foot
Last modified: December 2, 2013
Organizers: Takuya Sakasai (The University of Tokyo), Masaaki Suzuki (Meiji University)
sakasai (at mark) ms.u-tokyo.ac.jp