Schedule

3/22(Fri)

13:00-13:30 Introduction by Yoshihiro Maruyama (Kyoto University)

13:30-14:30 Samson Abramsky (University of Oxford)

"Introduction to a mathematical theory of contextuality"

14:40-15:40 Ichiro Hasuo (NII)

"The Power of Abstraction, in a Theory, a Project, and an Inspiring Mind"

15:50-16:50 Minao Kukita (Nagoya University)

"In praise of laziness: Categorical non-foundation of mathematics"

17:00-19:00 Panel Discussion

19:30-21:30 Banquet

3/23(Sat)

10:00-11:00 Samson Abramsky (University of Oxford)

"Unity, Structure, and Power"

11:10-12:10 Hiroyuki Miyoshi (Kyoto Sangyo University)

"Two Impossibilities in Sciences"

14:00-15:00 Shogo Tanimura (Nagoya University)

"Tensor categorical structure of observables in classical physics"

15:10-16:10 Taichi Haruna (Tokyo Woman's Christian University)

"Category theoretical insights into designing network models of living and social systems"

16:20-18:20 Panel Discussion

18:20-18:30 Closing Remarks