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.