Loading [MathJax]/extensions/tex2jax.js
Bild/Logo der Organisation Institut für Theoretische Informatik

Institut für Theoretische Informatik

Organisation: Institut/Seminar

Adressentyp: Besucheradress
Appelstraße 9a
30167
Hannover

Projekte

  1. Projektbezogener Personenaustausch Finnland

    Meier, A. (Projektleiter*in (Principal Investigator))

    1 Jan. 202431 Dez. 2025

    Projekt: Forschung

  2. Teamlogiken: Neue Brücken zu Datenbank-Reparaturen

    Meier, A. (Projektleiter*in (Principal Investigator))

    1 Mai 202330 Apr. 2026

    Projekt: Forschung

  3. Ein logischer Ansatz zur Quantenmechanik und Quantenkontextualität

    Virtema, J. T. (Projektleiter*in (Principal Investigator))

    1 Nov. 202031 Okt. 2023

    Projekt: Forschung

  4. Projekt Innovation Plus (2020/21); Nummer 097: Komplexität von Algorithmen

    Meier, A. (Projektleiter*in (Principal Investigator))

    1 Feb. 202030 Sept. 2022

    Projekt: Sonstiges

  5. Deskriptive Komplexität von parametrisierten Zählproblemen (Projektbezogener Personenaustausch Indien)

    Meier, A. (Projektleiter*in (Principal Investigator)), Rao, B. V. R. (Leitende*r Forscher*in (Co-Principal Investigator)), Haak, A. (Projektmitarbeiter*in), Müller, F. (Projektmitarbeiter*in) & Prakash, O. (Projektleiter*in (Principal Investigator))

    1 Jan. 201831 Dez. 2019

    Projekt: Forschung

  6. 34th International Symposium on Theoretical Aspects of Computer Science (STACS) 2017, Hannover, 08.03.17 - 11.03.17

    Vollmer, H. (Projektleiter*in (Principal Investigator))

    27 Sept. 201631 März 2017

    Projekt: Forschung

  7. Nichtklassische Logiken: Parametrisierte Komplexität und Enumeration

    Meier, A. (Projektleiter*in (Principal Investigator)), Mahmood, Y. (Projektmitarbeiter*in) & Schindler, I. (Projektmitarbeiter*in)

    1 Okt. 201331 Juli 2022

    Projekt: Forschung