Amsterdam Quantum Logic Workshop
March 31 – April 2, 2014
Universiteit van Amsterdam, The Netherlands
Sponsors
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:
