1 - 4 out of 4Page size: 20

• 10
• 20
• 40
• 80
• 160

Sort by: Start date

• Title
• Start date
• End date

Projects

1. Logical approach to quantum mechanics and contextuality

   Virtema, J. T. (Principal Investigator)

   1 Nov 2020 → 31 Oct 2023

   Project: Research

2. 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

3. 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

4. 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