Accepted Papers
Joseph Razavi and Andrea Schalk. A Category Theoretic Interpretation of Gandy’s Principles for Mechanisms
Paola Giannini, Marco Servetto and Elena Zucca. A syntactic model of mutation and aliasing
Ian Mackie. Models of Computation that Conserve Data
Nachum Dershowitz. Generic Graph Semantics
Alessandra Di Pierro. Towards a Formal System for Topological Quantum Computation
Adrian Francalanza, Marco Giunti and António Ravara. Pointing to Private Names