zum Seiteninhalt
Ruprecht-Karls-Universität Heidelberg Institut fü Informatik
Siegel der Universitaet Startseite der Arbeitsgruppe Kontakt: Anschriften und Ansprechpartner Suche: Volltext; Personen; E-Mail; Forschungsdatenbank English

Arbeitsgruppe Mathematische Logik
und Theoretische Informatik

Leiter: Prof. Dr. Klaus Ambos-Spies
Sekretariat: Felicitas Hirsch
Anschrift: 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


Aktuelles

CiE 2009 Computability in Europe 2009 - Mathematical Theory and Computational Practice, Heidelberg, 19.-24. Juli 2009

Allgemeines

Personen - Lageplan

Lehre

Personen und Sprechzeiten
Wintersemester 2009/10 - frühere Semester - Oberseminar
Prüfungen - Skripten - Allgemeine Studieninformationen

Forschung

Forschungsschwerpunkte
Forschungsberichte - Sonstige Veröffentlichungen
Ehemalige Doktoranden, Mitarbeiter und Gäste
Zurückliegende Veranstaltungen (Workshops etc.)




Universität | Fakultäten | Einrichtungen | Studium | Kontakt | Suche

Seitenbearbeiter: Jan Reimann