Logo Leibniz Universität Hannover
Logo:Institut für Theoretische Informatik
Logo Leibniz Universität Hannover
Logo:Institut für Theoretische Informatik
  • Zielgruppen
  • Suche
 

Veranstaltungen im Sommersemester 2017

Vorlesungen

  • Komplexität von Algorithmen (Meier, Chandoo, Schindler)
    Vorlesung: Mittwoch: 9:30 - 11:00, ab 12.04.2017, Raum 023 (MMH)
    Übung
  • Logik und formale Systeme (Vollmer, Lück, Simmet)
    Vorlesung: Montag: 9:30 - 11:00, ab 24.04.2017, Raum 023 (MMH)
    Übung:
    Freitag: 13:00 - 14:30, ab 28.04.2017, Raum 224, Appelstr. 4
    Freitag: 15:00 - 16:30, ab 28.04.2017, Raum 224, Appelstr. 4
    Freitag: 17:00 - 18:30, ab 28.04.2017, Raum 224, Appelstr. 4
  • Berechenbarkeit und Logik (Vollmer, Haak)
    Vorlesung: Dienstag: 10:15 - 11:45, ab 11.04.2017, Raum 224, Appelstr. 4
    Übung: Dienstag: 9:00 - 10:00, ab 18.04.2017, Raum 224, Appelstr. 4
  • Formale Sprachen (Meier)
    Vorlesung: Freitag: 10:00 - 11:30, ab 14.04.2017, Raum 010, Gebäude 3408
    Übung: Freitag: 11:45 - 12:30, ab 21.04.2017, Raum 010, Gebäude 3408

Andere Veranstaltungen

  • Seminar parametrisierte Algorithmen (Vollmer)
    Vorbesprechung: 12.04.2017, 13:30 - 15:00, Raum 224, Appelstr. 4
  • Oberseminar, Termine nach Ankündigung, Raum 224, Appelstr. 4

Aktuelle Veranstaltungen im Wintersemester 2016/17

Vorlesungen

Andere Veranstaltungen

Veranstaltungen im Sommersemester 2016

Vorlesungen