[-- Attachment #1.1: Type: text/plain, Size: 4743 bytes --] FOURTH SYMPOSIUM ON COMPOSITIONAL STRUCTURES (SYCO 4) Chapman University, California, USA 22-23 May, 2019 http://events.cs.bham.ac.uk/syco/4/ The Symposium on Compositional Structures (SYCO) is an interdisciplinary series of meetings aiming to support the growing community of researchers interested in the phenomenon of compositionality, from both applied and abstract perspectives, and in particular where category theory serves as a unifying common language. The first SYCO was in September 2018, at the University of Birmingham. The second SYCO was in December 2018, at the University of Strathclyde. The third SYCO was in March 2019, at the University of Oxford. Each meeting attracted about 70 participants. The fourth SYCO will be in Chapman University, California, and we have 15 papers accepted for presentation, ranging over theory and practice of category theory, from homotopy type theory to differential programming, to rewriting systems, and to machine learning. Indeed the SYCO series aims to bring together the communities behind many previous successful events which have taken place over the last decade, including "Categories, Logic and Physics", "Categories, Logic and Physics (Scotland)", "Higher-Dimensional Rewriting and Applications", "String Diagrams in Computation, Logic and Physics", "Applied Category Theory", "Simons Workshop on Compositionality", and the "Peripatetic Seminar in Sheaves and Logic". # INVITED SPEAKERS John Baez, University of California, Riverside Tobias Fritz, Perimeter Institute for Theoretical Physics Nina Otter, University of California, Los Angeles # PAPERS ACCEPTED FOR PRESENTATION • Samuel Balco and Alexander Kurz, Nominal String Diagrams • Harsh Beohar and Sebastian Küpper, Bisimulation Maps in Presheaf Categories • Owen Biesel, Duality for Algebras of the Connected Planar Wiring Diagrams Operad • Daniel Cicala, Rewriting Structured Cospans • Cole Comfort, Circuit Relations for Real Stabilizers: Towards TOF+H • Kenny Courser and John Baez, Structured Cospans • Jonathan Gallagher, Benjamin MacAdam and Geoff Cruttwell, Towards Formalizing and Extending Differential Programming via Tangent Categories • Kohei Kishida, Soroush Rafiee Rad, Joshua Sack and Shengyang Zhong, Categorical Equivalence between Orthocomplemented Quantales and Complete Orthomodular Lattices • Benjamin MacAdam, Jonathan Gallagher and Rory Lucyshyn-Wright, Scalars in Tangent Categories • Jade Master, Generalized Petri Nets • Joe Moeller and Christina Vasilakopoulou, Monoidal Grothendieck Construction • Jeffrey Morton, 2-Group Actions and Double Categories • Michael Shulman, All (∞,1)-Toposes Have Strict Univalent Universes • David Sprunger and Shin-Ya Katsumata, Differential Categories, Recurrent Neural networks, and Machine learning • Christian Williams and John Baez, Enriched Lawvere Theories for Operational Semantics # REGISTRATION Please register as soon as possible so that catering can be arranged. https://docs.google.com/forms/d/e/1FAIpQLScSmO-WYDjTOzRCW_NkY9Qrf1CebA3wteX9TICNerkbPG1CYA/viewform # PROGRAMME COMMITTEE Miriam Backens, University of Oxford Ross Duncan, University of Strathclyde and Cambridge Quantum Computing Brendan Fong, Massachusetts Institute of Technology Tobias Fritz, Perimeter Institute for Theoretical Physics Stefano Gogioso, University of Oxford Amar Hadzihasanovic, Kyoto University Chris Heunen, University of Edinburgh Dominic Horsman, University of Grenoble Martti Karvonen, University of Edinburgh Kohei Kishida, Dalhousie University (chair) Andre Kornell, University of California, Davis Alexander Kurz, Chapman University Martha Lewis, University of Amsterdam Samuel Mimram, École Polytechnique Benjamin Musto, University of Oxford Nina Otter, University of California, Los Angeles Simona Paoli, University of Leicester Dorette Pronk, Dalhousie University Mehrnoosh Sadrzadeh, Queen Mary Pawel Sobocinski, University of Southampton Joshua Tan, University of Oxford Sean Tull, University of Oxford Dominic Verdon, University of Bristol Jamie Vicary, University of Birmingham and University of Oxford Maaike Zwart, University of Oxford -- You received this message because you are subscribed to the Google Groups "Homotopy Type Theory" group. To unsubscribe from this group and stop receiving emails from it, send an email to HomotopyTypeTheory+unsubscribe@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/HomotopyTypeTheory/25e1ba0a-d216-40dd-b78a-7d4c6dd896ef%40googlegroups.com. For more options, visit https://groups.google.com/d/optout. [-- Attachment #1.2: Type: text/html, Size: 5978 bytes --] <div dir="ltr"><div>FOURTH SYMPOSIUM ON COMPOSITIONAL STRUCTURES (SYCO 4)<br></div><div><br></div><div>Chapman University, California, USA</div><div> 22-23 May, 2019</div><div><br></div><div> http://events.cs.bham.ac.uk/syco/4/</div><div><br></div><div>The Symposium on Compositional Structures (SYCO) is an</div><div>interdisciplinary series of meetings aiming to support the growing</div><div>community of researchers interested in the phenomenon of</div><div>compositionality, from both applied and abstract perspectives, and in</div><div>particular where category theory serves as a unifying common language.</div><div>The first SYCO was in September 2018, at the University of Birmingham.</div><div>The second SYCO was in December 2018, at the University of Strathclyde.</div><div>The third SYCO was in March 2019, at the University of Oxford. Each</div><div>meeting attracted about 70 participants.</div><div><br></div><div>The fourth SYCO will be in Chapman University, California, and we have</div><div>15 papers accepted for presentation, ranging over theory and practice</div><div>of category theory, from homotopy type theory to differential</div><div>programming, to rewriting systems, and to machine learning.</div><div><br></div><div>Indeed the SYCO series aims to bring together the communities behind</div><div>many previous successful events which have taken place over the last</div><div>decade, including "Categories, Logic and Physics", "Categories, Logic</div><div>and Physics (Scotland)", "Higher-Dimensional Rewriting and</div><div>Applications", "String Diagrams in Computation, Logic and Physics",</div><div>"Applied Category Theory", "Simons Workshop on Compositionality", and</div><div>the "Peripatetic Seminar in Sheaves and Logic".</div><div><br></div><div># INVITED SPEAKERS</div><div><br></div><div>John Baez, University of California, Riverside</div><div>Tobias Fritz, Perimeter Institute for Theoretical Physics</div><div>Nina Otter, University of California, Los Angeles</div><div><br></div><div># PAPERS ACCEPTED FOR PRESENTATION</div><div>• Samuel Balco and Alexander Kurz, Nominal String Diagrams</div><div>• Harsh Beohar and Sebastian Küpper, Bisimulation Maps in Presheaf Categories</div><div>• Owen Biesel, Duality for Algebras of the Connected Planar Wiring Diagrams Operad</div><div>• Daniel Cicala, Rewriting Structured Cospans</div><div>• Cole Comfort, Circuit Relations for Real Stabilizers: Towards TOF+H</div><div>• Kenny Courser and John Baez, Structured Cospans</div><div>• Jonathan Gallagher, Benjamin MacAdam and Geoff Cruttwell, Towards Formalizing and Extending Differential Programming via Tangent Categories</div><div>• Kohei Kishida, Soroush Rafiee Rad, Joshua Sack and Shengyang Zhong, Categorical Equivalence between Orthocomplemented Quantales and Complete Orthomodular Lattices</div><div>• Benjamin MacAdam, Jonathan Gallagher and Rory Lucyshyn-Wright, Scalars in Tangent Categories</div><div>• Jade Master, Generalized Petri Nets</div><div>• Joe Moeller and Christina Vasilakopoulou, Monoidal Grothendieck Construction</div><div>• Jeffrey Morton, 2-Group Actions and Double Categories</div><div>• Michael Shulman, All (∞,1)-Toposes Have Strict Univalent Universes</div><div>• David Sprunger and Shin-Ya Katsumata, Differential Categories, Recurrent Neural networks, and Machine learning</div><div>• Christian Williams and John Baez, Enriched Lawvere Theories for Operational Semantics</div><div><br></div><div># REGISTRATION</div><div><br></div><div>Please register as soon as possible so that catering can be arranged.</div><div><br></div><div>https://docs.google.com/forms/d/e/1FAIpQLScSmO-WYDjTOzRCW_NkY9Qrf1CebA3wteX9TICNerkbPG1CYA/viewform</div><div><br></div><div># PROGRAMME COMMITTEE</div><div><br></div><div>Miriam Backens, University of Oxford</div><div>Ross Duncan, University of Strathclyde and Cambridge Quantum Computing</div><div>Brendan Fong, Massachusetts Institute of Technology</div><div>Tobias Fritz, Perimeter Institute for Theoretical Physics</div><div>Stefano Gogioso, University of Oxford</div><div>Amar Hadzihasanovic, Kyoto University</div><div>Chris Heunen, University of Edinburgh</div><div>Dominic Horsman, University of Grenoble</div><div>Martti Karvonen, University of Edinburgh</div><div>Kohei Kishida, Dalhousie University (chair)</div><div>Andre Kornell, University of California, Davis</div><div>Alexander Kurz, Chapman University</div><div>Martha Lewis, University of Amsterdam</div><div>Samuel Mimram, École Polytechnique</div><div>Benjamin Musto, University of Oxford</div><div>Nina Otter, University of California, Los Angeles</div><div>Simona Paoli, University of Leicester</div><div>Dorette Pronk, Dalhousie University</div><div>Mehrnoosh Sadrzadeh, Queen Mary</div><div>Pawel Sobocinski, University of Southampton</div><div>Joshua Tan, University of Oxford</div><div>Sean Tull, University of Oxford</div><div>Dominic Verdon, University of Bristol</div><div>Jamie Vicary, University of Birmingham and University of Oxford</div><div>Maaike Zwart, University of Oxford</div></div> <p></p> -- <br /> You received this message because you are subscribed to the Google Groups "Homotopy Type Theory" group.<br /> To unsubscribe from this group and stop receiving emails from it, send an email to <a href="mailto:HomotopyTypeTheory+unsubscribe@googlegroups.com">HomotopyTypeTheory+unsubscribe@googlegroups.com</a>.<br /> To view this discussion on the web visit <a href="https://groups.google.com/d/msgid/HomotopyTypeTheory/25e1ba0a-d216-40dd-b78a-7d4c6dd896ef%40googlegroups.com?utm_medium=email&utm_source=footer">https://groups.google.com/d/msgid/HomotopyTypeTheory/25e1ba0a-d216-40dd-b78a-7d4c6dd896ef%40googlegroups.com</a>.<br /> For more options, visit <a href="https://groups.google.com/d/optout">https://groups.google.com/d/optout</a>.<br />

[-- Attachment #1.1: Type: text/plain, Size: 555 bytes --] For the HoTT audience, I would like to emphasize the talk by Mike Shulman in particular. Best, Kohei -- You received this message because you are subscribed to the Google Groups "Homotopy Type Theory" group. To unsubscribe from this group and stop receiving emails from it, send an email to HomotopyTypeTheory+unsubscribe@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/HomotopyTypeTheory/7bb0b094-ae2d-4989-956f-f144557df3aa%40googlegroups.com. For more options, visit https://groups.google.com/d/optout. [-- Attachment #1.2: Type: text/html, Size: 943 bytes --] <div dir="ltr">For the HoTT audience, I would like to emphasize the talk by Mike Shulman in particular.<div><br></div><div>Best,</div><div>Kohei</div></div> <p></p> -- <br /> You received this message because you are subscribed to the Google Groups "Homotopy Type Theory" group.<br /> To unsubscribe from this group and stop receiving emails from it, send an email to <a href="mailto:HomotopyTypeTheory+unsubscribe@googlegroups.com">HomotopyTypeTheory+unsubscribe@googlegroups.com</a>.<br /> To view this discussion on the web visit <a href="https://groups.google.com/d/msgid/HomotopyTypeTheory/7bb0b094-ae2d-4989-956f-f144557df3aa%40googlegroups.com?utm_medium=email&utm_source=footer">https://groups.google.com/d/msgid/HomotopyTypeTheory/7bb0b094-ae2d-4989-956f-f144557df3aa%40googlegroups.com</a>.<br /> For more options, visit <a href="https://groups.google.com/d/optout">https://groups.google.com/d/optout</a>.<br />