-
Computability, Complexity and Analysis CCA 2025
16th International Conference
24-26 September 2025, Kyoto, Japan
-
Theory and Applications of Computability
Book series published in cooperation with the Association CiE
New volume available!
Team
Visit the members of our team
Courses
Courses taught by our team
Publications
Read our newest publications
Events
Some recent and future events that we are involved in
Seminar
Attend our seminar on theoretical computer science and mathematical logic
Projects
See some research projects that we are involved in