A variety of research activities in computer science and its applications to computing systems are vigorously pursued at the institute.

Topics of current research include:

- theory of computation
- lambda calculus
- type theory
- programming languages
- mathematical logic
- concurrency

We encourage discussion and collaboration among the members, and promote unity of the group, through the following regular events.

- Coffee/tea break, everyday in the afternoon
- Group lunch on Tuesdays, at our Computer Science Laboratory
- Seminar talks usually on Thursdays

For more information, see our list of publications and also the list of members.

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