Amsterdam Quantum Logic Workshop 2015


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 logo_header   NWO (Netherlands Organization for Scientific Research)

http://www.nwo.nl

 

UvA (University of Amsterdam)

 

 

NWO_LOGO

 

 

ILLC (Institute for Logic, Language and Computation)