日本語ページはこちら
Topology and Computers 2026
Friday, December 4 - Sunday, December 6, 2026
Ookayama Campus, Institute of Science Tokyo (Access)
This workshop will be held as part of the Topology Project.
Invited Speakers
Bruno Martelli (University of Pisa)
Yuya Nishimori (Institute of Science Tokyo)
Taketo Sano (iTHEMS, RIKEN)
Nobutaka Shimizu (Institute of Science Tokyo)
Yasushi Yamashita (Chuo University)
Bruno Martelli (University of Pisa) will give series of lectures.
Aim
The aim of this workshop is to promote the development of computer-assisted research in topology. We plan to feature talks by a wide range of speakers, ranging from mathematicians who do not usually use computers in their research to experts in computer science and related fields. The talks will include the following types:
talks presenting results in topology obtained with the aid of computers;
talks introducing mathematical conjectures suggested by computer experiments, including the process of trial and error and subsequent investigation;
talks presenting successfully implemented software for topology, together with the difficulties encountered in its development and practical know-how gained along the way;
problem-posing talks that introduce topics in topology where computer-assisted methods are expected to lead to further developments, with the aim of encouraging discussion and exchange of ideas;
introductory talks from other fields that may have potential connections with the theme of this workshop.
When we consider actual uses of computers in topology, we find that they are closely related to areas where computers are particularly powerful, such as the analysis of large-scale data and image processing. What we would like to emphasize is not only the final results obtained, but also the processes leading to them. Such intermediate stages, or the more hands-on and laborious parts of mathematical research, are not often made visible in papers or research talks. However, we believe that precisely in these parts there are ideas, techniques, and possibilities for application that are worth sharing. By focusing on these lively and important aspects of the research process in mathematics, this workshop aims to provide a place where researchers in topology, including students, can actively interact and exchange ideas.
Organizers
Yuya Koda（Keio University）
Hironobu Naoe（Institute of Science Tokyo）