Sponsors

The workshop is sponsored by:

Lyceum Club Internazionale di Firenze (Sezione Musica e Sezione Scienze):

VIDI Project: ‘Reasoning about quantum interaction: Logical modelling and verification of multi-agent quantum protocols’:

The Institute for Logic, Language and Computation at the University of Amsterdam, ILLC:

The project 'Quantum Computational Structures and Pattern Recognition' (CRP25245), funded by Regione Autonoma della Sardegna and by the Department of Psychology, Education, Philosophy, University of Cagliari:

LogiCIC project on The Logical Structure of Correlated Information Change (ERC-2011-STG No. 283963), funded by the European Research Council and the European Community under FP7:

Florentine institution: "Najs"