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


  • Workshop Home
  • Call for Papers
  • Sponsors
  • Submission
  • Accepted Papers
  • Downloads
  • Program
  • Invited Speakers
  • Committees
  • Practical Matters
  • Contact
  • Main TARK site