 |
Second Symposium on Compositional Structures (SYCO 2)
University of Strathclyde 17-18 December, 2018
|
Accepted presentations
The following submissions have been accepted for presentation:
- Complexity of the word problem for free monoidal categories, Antonin Delpeuch and Jamie Vicary
- Generative Adversarial Networks, Databases and Automatic Differentiation, Bruno Gavranović
- Quantum Channels for Mixed Unitary Categories, Robin Cockett, Cole Comfort and Priyaa Varshinee Srinivasan
- Completeness for Cartesian bicategories, Filippo Bonchi, Jens Seeber and Pawel Sobocinski
- Exploring Semantic Incrementality with Dynamic Syntax and Vector Space Semantics, Mehrnoosh Sadrzadeh, Matthew Purver and Ruth Kempson
- Universal Properties in Quantum Theory, Mathieu Huot and Sam Staton
- A general overview of some ZX-calculus completeness results, Bob Coecke, Anthony Munson, Kang Feng Ng and Quanlong Wang
- Classical Copying versus Quantum Entanglement in Natural Language: the Case of VP-ellipsis, Gijs Wijnholds and Mehrnoosh Sadrzadeh
- Picturing Resources in Concurrency: from Linear to Additive Relations, Filippo Bonchi, Joshua Holland, Robin Piedeleu, Pawel Sobocinski and Fabio Zanasi
- Superpositions and Categorical Quantum Reconstructions, Sean Tull
- PyZX: Quantum circuit optimization using the ZX-calculus, Aleks Kissinger and John van de Wetering
- Diagrammatic rewriting modulo isotopy, Benjamin Dupont
- On process matrices and non-signalling processes, Sander Uijlen
- Coherence for braided and symmetric pseudomonoids, Dominic Verdon
- Higher Modules and Directed Identity Types, Christopher Dean
- Traced concategories, Paul Blain Levy, Sergey Goncharov and Lutz Schröder
- Orthogonality for quantum Latin isometry squares, Benjamin Musto and Jamie Vicary