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)