Sponsors
The workshop "Quantum Physics meets TARK" is made possible by the financial support of:
- University of Groningen
- CWI Amsterdam
- The Netherlands Organisation for Scientific Research (NWO), through:
- International Congres Subsidie
- VIDI research programme on Reasoning about quantum interaction: Logical modelling and verification of multi-agent quantum protocols.
- VIDI research programme on Logics for intelligent interaction: expressivity and succinctness.
- VICI research programme on Cognitive systems in interaction: Logical and computational models of higher-order theory of mind.
- The Royal Netherlands Academy of Arts and Sciences (KNAW).
- Springer
- Gemeente Groningen
- Provincie Groningen
- De Nederlandse Vereniging voor Logica & Wijsbegeerte der Exacte Wetenschappen