RIMS Computer Science Laboratory

Our spacious laboratory with several terminals and white boards is located in the Research Building No. 2, see below how to access.

It is being used for our seminars, lunch meetings and programming exercise sessions.

from north west from south entrance seminar

Group Lunch

Every Tuesday, from 12:30h. An informal meeting; guests are welcome.

Logic and Semantics Seminar

An informal series of seminars Thursday morning. more


Research Building No. 2, Room 477. (campus map)

Research Institute for Mathematical Sciences, Kyoto University, 606-8502 Japan.