| 1 | -- | 2 | Bob Coecke, Ian Mackie, Prakash Panangaden, Peter Selinger. Preface |
| 3 | -- | 15 | Howard Barnum, Alexander Wilce. Information Processing in Convex Operational Theories |
| 17 | -- | 28 | Ed Blakey. Computational Complexity in Non-Turing Models of Computation: The What, the Why and the How |
| 29 | -- | 40 | Bob Coecke, Bill Edwards. Toy Quantum Categories (Extended Abstract) |
| 41 | -- | 57 | Yannick Delbecque. Game Semantics for Quantum Data |
| 59 | -- | 74 | Alejandro Díaz-Caro, Pablo Arrighi, Manuel Gadella, Jonathan Grattage. Measurements and Confluence in Quantum Lambda Calculi With Explicit Qubits |
| 75 | -- | 79 | Lorenzo Maccone. The Thermodynamic Arrow-of-time and Quantum Mechanics |
| 81 | -- | 97 | Keye Martin. How to Randomly Flip a Quantum Bit |
| 99 | -- | 111 | Simon Perdrix. Partial Observation of Quantum Turing Machines and a Weaker Well-Formedness Condition |
| 113 | -- | 119 | Peter Selinger. Finite Dimensional Hilbert Spaces are Complete for Dagger Compact Closed Categories (Extended Abstract) |
| 121 | -- | 128 | Benoît Valiron. On Quantum and Probabilistic Linear Lambda-calculi (Extended Abstract) |
| 129 | -- | 145 | Jamie Vicary. Categorical Formulation of Finite-dimensional C*-algebras |
| 147 | -- | 154 | Luca Bernardinello, Lucia Pomello, Stefania Rombolà. On Orthomodular Posets Generated by Transition Systems |
| 155 | -- | 163 | Ellie D Hondt, Mehrnoosh Sadrzadeh. Classical Knowledge for Quantum Security |
| 165 | -- | 174 | Jonathan Grattage. An Overview of QML With a Concrete Implementation in Haskell |
| 175 | -- | 182 | Amir M. Tavala, Soroosh Nazem, Ali A. Babaei-Brojeny. Verification of Quantum Protocols with a Probabilistic Model-Checker |
| 183 | -- | 190 | Juliana Kaizer Vizzotto, André Rauber Du Bois. Modelling Parallel Quantum Computing Using Transactional Memory |
| 191 | -- | 210 | Larisse Voufo. Quantum Circuits: From a Network to a One-Way Model |