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:

 

    NWO (Netherlands Organization for Scientific Research)

http://www.nwo.nl

 

UvA (University of Amsterdam)

 

 

 

 

ILLC (Institute for Logic, Language and Computation)