Institut
Allgemeine Informationen über das Institut wie z.B. Leitbild, Organisationsstruktur, Mitarbeiterverzeichnis, Geschichte, Anfahrtsbeschreibung usw.

Mehr anzeigen
Forschung
Wissenschaftliches Profil mit allen Forschungsgruppen, Themen, Projekten sowie weiteren Forschungsrubriken des Instituts.

Mehr anzeigen
News
Nachrichten und Pressemitteilungen des Instituts, sowie ein Pressearchiv.

Mehr anzeigen
Veranstaltungen
Übersicht über alle Veranstaltungen rund um das Institut, wie Vorträge, Seminare, Vorlesungen, Workshops, Konferenzen und öffentliche Veranstaltungen.

Mehr anzeigen
Publikationen
Übersicht über alle wissenschaftlichen Veröffentlichungen des Instituts sowie über unsere Preprint- und Software-Archive.

Mehr anzeigen
Karriere
Informationen zu Stellenangeboten am Institut, Karriere Benefits, dem Graduiertenkolleg und der Betreuung von Postdocs.

Mehr anzeigen

Talk

25.11.98, 16:15

Theorema: Automatisches Beweisen für Lehre und Forschung

Felix-Klein-Hörsaal (Raum 4-24) Universität Leipzig (Leipzig)

colloquium

04.12.96 27.04.26

Universität Leipzig Felix-Klein-Hörsaal

Details anzeigen