Partner
Aus International Center for Computational Logic
There is still work to do on this page
- prepare German list of partners.
See also the list of all pages with todos. This note is only visible to logged in users.
KIT splits these into research and industry; maybe one page will do for us for now