Partners
Postgraduate programmes, courses of studies, etc.
- ICCL: International Masters Programme in Computational Logic
- EMCL: European Masters Program in Computational Logic
Cooperative Research Projects
Research cooperations
- SAP Research CEC Dresden: Cooperation with Dr. Ralf Ackermann and others
- NICTA Canberra: Cooperation with Dr. Peter Baumgartner and others
- Faculty of Computer Science of the Free University of Bozen-Bolzano: Cooperation with Prof. Diego Calvanese, Prof. Enrico Franconi and others
- Institut für Algebra of Dresden University of Technology: Cooperation with Prof. Manuel Bodirsky and others
- Department of Computer Science of the University of Milano: Cooperation with Prof. Silvio Ghilardi and others
- Computing Laboratory of the University of Oxford: Cooperation with Prof. Ian Horrocks and others
- Faculty of Computer Science of the University of Bremen: Cooperation with Prof. Carsten Lutz and others
- Meraka Institute in Tshwane (Pretoria), South Africa: Cooperation with Prof. Tommie Meyer and others
- Software, Technology, and Systems (STS) at Hamburg University of Technology: Cooperation with Prof. Ralf Möller and others
- Information Management Group of the University of Manchester: Cooperation with Prof. Ulrike Sattler and others
- Medical Informatics Research Group of the University Medical Center Freiburg: Cooperation with Prof. Stefan Schulz and others
- International Health Terminology Standards Development Organisation: Cooperation with Dr. Kent Spackman and others
- School of Computer Science and Engineering of the University of New South Wales: Cooperation with Prof. Michael Thielscher and others
- Department of Computer Science at the University of Liverpool: Cooperation with Prof. Frank Wolter and others
Organisations
- Gesellschaft für Informatik (GI): The Fachgruppe 0.1.6 "Logik in der Informatik" of the Fachbereich 0 "Grundlagen der Informatik", The Fachgruppe "Deduktion" of the Fachbereich 1 "Künstliche Intelligenz"