From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/9697 Path: news.gmane.org!.POSTED!not-for-mail From: Jamie Vicary Newsgroups: gmane.science.mathematics.categories,gmane.comp.science.types.announce Subject: Call for Participation, First Symposium on Compositional Structures (SYCO 1) Date: Mon, 3 Sep 2018 11:50:21 +0100 Message-ID: Reply-To: Jamie Vicary NNTP-Posting-Host: blaine.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable X-Trace: blaine.gmane.org 1535991952 22254 195.159.176.226 (3 Sep 2018 16:25:52 GMT) X-Complaints-To: usenet@blaine.gmane.org NNTP-Posting-Date: Mon, 3 Sep 2018 16:25:52 +0000 (UTC) To: quantum , types-announce@lists.seas.upenn.edu, Categories list , logic@maillist.ox.ac.uk Original-X-From: majordomo@mlist.mta.ca Mon Sep 03 18:25:48 2018 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from smtp2.mta.ca ([198.164.44.40]) by blaine.gmane.org with esmtp (Exim 4.84_2) (envelope-from ) id 1fwrff-0005bv-Cb for gsmc-categories@m.gmane.org; Mon, 03 Sep 2018 18:25:47 +0200 Original-Received: from mlist.mta.ca ([138.73.1.63]:45756) by smtp2.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1fwrgL-0003Me-TE; Mon, 03 Sep 2018 13:26:29 -0300 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1fwrfd-0006aL-9J for categories-list@mlist.mta.ca; Mon, 03 Sep 2018 13:25:45 -0300 Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:9697 gmane.comp.science.types.announce:7837 Archived-At: FIRST SYMPOSIUM ON COMPOSITIONAL STRUCTURES (SYCO I) CALL FOR PARTICIPATION School of Computer Science, University of Birmingham 20-21 September, 2018 http://www.cs.bham.ac.uk/~vicaryjo/syco/1/ The Symposium on Compositional Structures is a new 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. We welcome submissions from researchers across computer science, mathematics, physics, philosophy, and beyond, with the aim of fostering friendly discussion, disseminating new ideas, and spreading knowledge between fields. Submission is encouraged for both mature research and work in progress, and by both established academics and junior researchers, including students. This new 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 David Corfield, Department of Philosophy, University of Kent: "The ubiquity of modal type theory" Jules Hedges, Department of Computer Science, University of Oxford: "Compositional game theory" # REGISTRATION AND LOCAL INFORMATION There is no registration fee. To register, send an email to j.o.vicary@bham.ac.uk with subject line "SYCO 1 registration", indicating in the body of the email the name and affiliation to put on your name badge. Full local information is available at the conference web site http://events.cs.bham.ac.uk/syco/1/. # PROGRAMME THURSDAY 20 SEPTEMBER 1100-1130. REGISTRATION 1130-1230. David Corfield, "The ubiquity of modal type theory" (invited tal= k) 1230-1300. Kohei Kishida, "An allegorical semantics of modal logic" 1300-1400. LUNCH 1400-1430. Joe Moeller, "Noncommutative network models" 1430-1500. Paolo Perrone and Tobias Fritz, "Monads, partial evaluations, and rewriting" 1500-1530. Aaron Sloman, "Biologically evolved forms of compositionality" 1530-1600. BREAK 1600-1630. Benjamin Musto, David Reutter and Dominic Verdon, "A compositional approach to quantum functions" 1630-1700. Robin Kaarsgaard and Robert Gl=C3=BCck, "Reversibility as a compositional phenomenon" 1700-1730. Ross Duncan, Cambridge Quantum Computing industry presentation (not peer reviewed) 1730-onwards. DRINKS RECEPTION FRIDAY 21 SEPTEMBER 0930-1030. Jules Hedges, "Compositional game theory" (invited talk) 1030-1100. Filippo Bonchi, Jens Seeber and Pawel Sobocinski, "Graphical conjunctive queries" 1100-1130. BREAK 1130-1200. Lukas Heidemann, "Visualization and verification of geometrical proofs" 1200-1230. Exequiel Rivas, "Relating idioms, arrows and monads from monoidal adjunctions" 1230-1300. Apiwat Chantawibul and Pawel Sobocinski, "Monoidal multiplexing" 1300-1400. LUNCH 1400-1430. Michael Stay and Lucius Gregory Meredith, "How to derive a type system from a term calculus, a collection, and a distributive law" 1430-1500. Brendan Fong, David Spivak and Remy Tuyeras, "Backprop as functor: a compositional perspective on supervised learning" 1500-1530. Robin Cockett, Cole Comfort and Priyaa Srinivasan, "Dagger mix categories" 1530-1600. BREAK 1600-1630. Andre Kornell, "Quantum sets" 1630-1700. Simon Willerton, "The Legendre-Fenchel transform from a category theoretic perspective" 1700-1730. Tarmo Uustalu, "Container combinatorics: monads and more" # STEERING COMMITTEE The symposium managed by the following people, who also serve as the programme committee. - Ross Duncan, University of Strathclyde - Chris Heunen, University of Edinburgh - Aleks Kissinger, Radboud University Nijmegen - Samuel Mimram, =C3=89cole Polytechnique - Simona Paoli, University of Leicester - Mehrnoosh Sadrzadeh, Queen Mary, University of London - Pawel Sobocinski, University of Southampton - Jamie Vicary, University of Birmingham and University of Oxford (local organizer) [For admin and other information see: http://www.mta.ca/~cat-dist/ ]