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