Heidelberg
Mathematical Logic.

Munich
Mathematical Logic.

Karlsruhe
Department for Logic, Complexity, and Deduction Systems. [site is in German; some pages available in English]

Aachen
Mathematical Foundations of Computer Science.