Contacts and Cooperations

Postgraduate programmes, courses of studies, etc.

ICCL: International Masters Programme in Computational Logic

EMCL: European Masters Program in Computational Logic

Cooperative Research Projects

Logic-based Knowledge Representation

Highly-Adaptive Energy-Efficient Computing

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. Bernhard Ganter 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"

---

 

---