16th International Conference
10-14 July 2023, Kochel am See, Germany
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