1 - 7 out of 7Page size: 20

• 10
• 20
• 40
• 80
• 160

Select page size:10204080160

Sort by: Start date

• Title
• Start date
• End date

Sort by:TitleStart dateEnd date

Order:

Asc.

Desc.

Projects

1. Anwendungen und Komplexität von Logiken in der Semiring-Team-Semantik

   Meier, A. (Principal Investigator)

   1 Jan 2024 → 31 Dec 2025

   Project: Research

2. Team Logics: New Bridges to Database Repairs

   Meier, A. (Principal Investigator)

   1 May 2023 → 30 Apr 2026

   Project: Research

3. Logical approach to quantum mechanics and contextuality

   Virtema, J. T. (Principal Investigator)

   1 Nov 2020 → 31 Oct 2023

   Project: Research

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

   Meier, A. (Principal Investigator)

   1 Feb 2020 → 30 Sept 2022

   Project: Other

5. Descriptive Complexity of Parameterised Counting Classes (Project-Based Personnel Exchange Programme India)

   Meier, A. (Principal Investigator), Rao, B. V. R. (Co-Principal Investigator), Haak, A. (Project staff), Müller, F. (Project staff) & Prakash, O. (Principal Investigator)

   1 Jan 2018 → 31 Dec 2019

   Project: Research

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

   Vollmer, H. (Principal Investigator)

   27 Sept 2016 → 31 Mar 2017

   Project: Research

7. Nonclassical logics: parametrised and enumeration complexity

   Meier, A. (Principal Investigator), Mahmood, Y. (Project staff) & Schindler, I. (Project staff)

   1 Oct 2013 → 31 Jul 2022

   Project: Research