Tutorials
Hajnal ANDRÉKA , Gergely SZÉKELY, Judit X. MADARÁSZ, Istvan NÉMETI, and Péter NÉMETI, Alfréd Rényi Institute of Mathematics, Hungarian Academy of Sciences
Axiomatization of Physics in a Logical Framework
Marco LANZAGORTA, Technical Fellow and Director of the Quantum Information Group at ITT Corporation
Quantum Computation: Computability and Complexity