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.
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.