Fourteenth International Conference
Daejeon, Republic of Korea, July 24-27, 2017
New issue available online!
Open for submissions
Book series published in cooperation with the Association CiE
New volume available!
Visit the members of our team
Courses taught by our team
Read our newest publications
Some recent and future events that we are involved in
Attend our seminar on theoretical computer science and mathematical logic
See some research projects that we are involved in