[finite-model-theory] [Vardi-list] The Mathematics of Quantum Computation - The 4th Advanced School in Computer Science and Engineering