## Curriculum for graduate students

The current curriculum for graduate studies is as follows:

### Basic theories (the first year of the master course)

Seminars on basic theories of computer science.

- Mathematical Logic
- Formal Languages, Automata and Compilers
- Denotational Semantics, Domain Theory and Category Theory
- Rewriting Systems, Algebraic Models
- Parallel Computation, Concurrency
- Lambda Calculus, Type Theory and Functional Languages
- Computer Archtecture

### Seminars for Master and Doctrate Theses

Thesis seminars are arranged on an individual basis according to the students' interests.

### Other Seminars

There also are seminar slots, for topics related to computer science.

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