Workgroup Mathematical Logic
and Theoretical Computer Science
|
|||||
|
|
|
|||
|
|
Head: | Prof. Dr. Klaus Ambos-Spies | |
|
|
|
|
|||
|
|
Office: | Felicitas Hirsch | |
|
|
|
|
|||
|
|
Address: | Institut für Informatik | Tel. + 49 6221 - 54 8204 | |
|
|
|
Im Neuenheimer Feld 294 | Fax + 49 6221 - 54 4465 | |
|
|
|
D-69120 Heidelberg | logic@math.uni-heidelberg.de | |
|
|
|
|||
|
|||||
| |
|
General Information / Events |
People - Map - CiE 2009 Computability in Europe 2009 - Mathematical and Computational Practice 19-24 July 2009 |
|
|
|
Teaching |
People
and Office Hours
Winter Semester 2008/09 (German) - Earlier Semesters (German) - Oberseminar Exams (German) - Lecture Notes (German) - General Information for Students |
|
|
|
Research |
Research Areas
Research Reports - Other Publications Former PhD-Students, Faculty and Guests Past Events (Workshops etc.) |
|
|
|
|
|
Responsible: Jan
Reimann
|
|
Last modified:
February 25, 2008
|