This workshop is part of the project Reasoning about Quantum Interaction: logical modelling and verification of multi-agent quantum protocols.
The project and workshop are sponsored by:
NWO (Netherlands Organization for Scientific Research)
http://www.nwo.nl
UvA (University of Amsterdam)
ILLC (Institute for Logic, Language and Computation)