Links

 Description Logic Homepage

 DFG-Graduiertenkolleg QuantLA

 DFG-Graduiertenkolleg RoSI

 DFG-Sonderforschungsbereich HAEC

 DFG-Forschergruppe HYBRIS

 Exzellenzcluster CFAED

 International Center for Computational Logic ICCL

 European Masters Program in Computational Logic EMCL

 Homepage der Fachgruppe 0.1.6 der GI "Logik in der Informatik"