english deutsch
Aachen
http://www-mgi.informatik.rwth-aachen.de/
Mathematical Foundations of Computer Science.
Bonn
http://www.uni-bonn.de/logic/logic.html
Mathematical Logic Group.
Freiburg
http://logik.mathematik.uni-freiburg.de/index_en.html
Institute for Mathematical Logic and Foundations of Mathematics.
Heidelberg
http://www.math.uni-heidelberg.de/logic/
Mathematical Logic.
Karlsruhe
http://www.rz.uni-karlsruhe.de/~ibk/FEB/XI_3_e.html
Department for Logic, Complexity, and Deduction Systems.
Munich
http://www.mathematik.uni-muenchen.de/~logik/welcome_e.html
Mathematical Logic.