From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.4.2 (2018-09-13) on inbox.vuxu.org X-Spam-Level: X-Spam-Status: No, score=-1.1 required=5.0 tests=DKIM_SIGNED,DKIM_VALID, DKIM_VALID_AU,DKIM_VALID_EF,FREEMAIL_FORGED_FROMDOMAIN,FREEMAIL_FROM, HEADER_FROM_DIFFERENT_DOMAINS,HTML_MESSAGE,MAILING_LIST_MULTI, RCVD_IN_DNSWL_NONE autolearn=ham autolearn_force=no version=3.4.2 Received: from mail-ot1-x339.google.com (mail-ot1-x339.google.com [IPv6:2607:f8b0:4864:20::339]) by inbox.vuxu.org (OpenSMTPD) with ESMTP id 806b14f5 for ; Thu, 9 May 2019 15:03:51 +0000 (UTC) Received: by mail-ot1-x339.google.com with SMTP id f11sf1236126otl.20 for ; Thu, 09 May 2019 08:03:51 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=20161025; h=sender:date:from:to:message-id:subject:mime-version :x-original-sender:precedence:mailing-list:list-id:list-post :list-help:list-archive:list-unsubscribe; bh=dh5QHBvfnWmJkzE9SaDQR8Ej+D7bEc1os0w7jj7iGcg=; b=gmYEN/JEL4Peoh07Ew/TT58jFxNKJG1b/hfTvd4RtDdAVitUbMtkFz2NKJamD4k0gW CKjeYc0chvniLYYlXghfGdn4fHD3FvOwNbSP1rZj6JrJa7l3YIVxdSNKQh8Y/ZJenyvR Xe/QwKzu5QW2ragA8yy+EIxO4oXEEJ6KA7PU4TTc8wFcpHVBCxBnt9sm9Mb3r8ptM5Vp ikwSn388FdeIhNPDTQTrxsRpyYsFIdrWaJQxTkosT/KTWppv27gk9IypWkm3CfnidLrc 9N2Sdwyvbqgu/b/MIeFBBqvtLLCvZbzWRnPlAwKD8WJB1esnD5drtjVXuj8EWLhOrqvL juiw== DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=date:from:to:message-id:subject:mime-version:x-original-sender :precedence:mailing-list:list-id:list-post:list-help:list-archive :list-unsubscribe; bh=dh5QHBvfnWmJkzE9SaDQR8Ej+D7bEc1os0w7jj7iGcg=; b=rQMssP7wHgEGmU64F5DRjpJ2XXgn4zxBq+R+WskyAn164WYHjKJYWk8MEfifTKd8VV hd50vxLvXUriyFE4yA6nwobs0+hPoY96nHG14/ooKAqGdbH/GgKHToH4a2rtRuBRrd9Q AmIQ0xxcnPAC8GDmPWKukswDYaD78sCiMzT5KGOqGWfAyw4C8IggmM3U3S20f+ijpvTi OPEtfdgmyfU9oqXWCPAcC+/m3zz/0dovrSGQjdf55wPkDizaqgWSQsinKSCuc8CsYgB2 bpvNZku8sA6R4AtGCAB/+Lxx0HZatBteb+ObVgjuxtHMgMUtnJZ0wsIVB3j56qJRgop1 aZ7Q== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=sender:x-gm-message-state:date:from:to:message-id:subject :mime-version:x-original-sender:precedence:mailing-list:list-id :x-spam-checked-in-group:list-post:list-help:list-archive :list-unsubscribe; bh=dh5QHBvfnWmJkzE9SaDQR8Ej+D7bEc1os0w7jj7iGcg=; b=qZNA+/Br8LRM03WiDrrZYjtody2nyNDelR6TsLUzGvtcdxZBkRVmhY1NwVSZan7KQE HQBnElBpbUxfgHe+rhdek4F9I9HkyBqgMbwI5/P47UoTOMu//+snd0OMnR3MM1S/dpcE 7cP3uA0KO+4N/v+vf0nSfEbbVaE4ORyOPs7SG/mpUHXp3ZFNNibeQmuBUb2W3Rfv78sT qGlrvPtSt90pI0CxflvM/ylLRnSo+QTNFkZfyDra9Pa7S+uG+924OJ35IM9+sWTKqo7w TXN9KymXDL+co0m2MKfoHstIU6Ut0i4WZmJzEk7cskmr4Sqq8vG4CMoe10qTHhwXt1Om ekjA== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: APjAAAW54ZqGtSARCVUKOuGQRn8MEt/MLIPkf1oXEsnvVMHap6WZQybR w0+ogn8hSfLAcpstz6veXHU= X-Google-Smtp-Source: APXvYqzUKHeHZytDH7u19cEsR0IqRWkxJEMzVika6k0xJCbo9f0+6exV1KZ3ngazgd0GZveYXO+hFA== X-Received: by 2002:a9d:629a:: with SMTP id x26mr2732898otk.7.1557414230543; Thu, 09 May 2019 08:03:50 -0700 (PDT) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a9d:6142:: with SMTP id c2ls533982otk.5.gmail; Thu, 09 May 2019 08:03:49 -0700 (PDT) X-Received: by 2002:a9d:6409:: with SMTP id h9mr2741219otl.68.1557414229681; Thu, 09 May 2019 08:03:49 -0700 (PDT) Date: Thu, 9 May 2019 08:03:48 -0700 (PDT) From: Kohei Kishida To: Homotopy Type Theory Message-Id: <25e1ba0a-d216-40dd-b78a-7d4c6dd896ef@googlegroups.com> Subject: [HoTT] SYCO 4: call for participation MIME-Version: 1.0 Content-Type: multipart/mixed; boundary="----=_Part_393_824911110.1557414228871" X-Original-Sender: kishidakohei@gmail.com Precedence: list Mailing-list: list HomotopyTypeTheory@googlegroups.com; contact HomotopyTypeTheory+owners@googlegroups.com List-ID: X-Google-Group-Id: 1041266174716 List-Post: , List-Help: , List-Archive: , ------=_Part_393_824911110.1557414228871 Content-Type: multipart/alternative; boundary="----=_Part_394_1191378328.1557414228871" ------=_Part_394_1191378328.1557414228871 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable 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 =E2=80=A2 Samuel Balco and Alexander Kurz, Nominal String Diagrams =E2=80=A2 Harsh Beohar and Sebastian K=C3=BCpper, Bisimulation Maps in Pres= heaf=20 Categories =E2=80=A2 Owen Biesel, Duality for Algebras of the Connected Planar Wiring = Diagrams=20 Operad =E2=80=A2 Daniel Cicala, Rewriting Structured Cospans =E2=80=A2 Cole Comfort, Circuit Relations for Real Stabilizers: Towards TOF= +H =E2=80=A2 Kenny Courser and John Baez, Structured Cospans =E2=80=A2 Jonathan Gallagher, Benjamin MacAdam and Geoff Cruttwell, Towards= =20 Formalizing and Extending Differential Programming via Tangent Categories =E2=80=A2 Kohei Kishida, Soroush Rafiee Rad, Joshua Sack and Shengyang Zhon= g,=20 Categorical Equivalence between Orthocomplemented Quantales and Complete=20 Orthomodular Lattices =E2=80=A2 Benjamin MacAdam, Jonathan Gallagher and Rory Lucyshyn-Wright, Sc= alars in=20 Tangent Categories =E2=80=A2 Jade Master, Generalized Petri Nets =E2=80=A2 Joe Moeller and Christina Vasilakopoulou, Monoidal Grothendieck= =20 Construction =E2=80=A2 Jeffrey Morton, 2-Group Actions and Double Categories =E2=80=A2 Michael Shulman, All (=E2=88=9E,1)-Toposes Have Strict Univalent = Universes =E2=80=A2 David Sprunger and Shin-Ya Katsumata, Differential Categories, Re= current=20 Neural networks, and Machine learning =E2=80=A2 Christian Williams and John Baez, Enriched Lawvere Theories for= =20 Operational Semantics # REGISTRATION Please register as soon as possible so that catering can be arranged. https://docs.google.com/forms/d/e/1FAIpQLScSmO-WYDjTOzRCW_NkY9Qrf1CebA3wteX= 9TICNerkbPG1CYA/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, =C3=89cole 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 --=20 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 e= mail 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. ------=_Part_394_1191378328.1557414228871 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
FOURTH SYMPOSIUM ON COMPOSITIONAL STRUCTURES (SYCO 4)=

Chapman University, California, USA
=C2=A0 =C2=A0 22-23 May, 2019

=C2=A0 http://event= s.cs.bham.ac.uk/syco/4/

The Symposium on Compositi= onal Structures (SYCO) is an
interdisciplinary series of meetings= aiming to support the growing
community of researchers intereste= d in the phenomenon of
compositionality, from both applied and ab= stract perspectives, and in
particular where category theory serv= es as a unifying common language.
The first SYCO was in September= 2018, at the University of Birmingham.
The second SYCO was in De= cember 2018, at the University of Strathclyde.
The third SYCO was= in March 2019, at the University of Oxford. Each
meeting attract= ed 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 t= heory, 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
ma= ny previous successful events which have taken place over the last
decade, including "Categories, Logic and Physics", "Catego= ries, Logic
and Physics (Scotland)", "Higher-Dimensiona= l Rewriting and
Applications", "String Diagrams in Comp= utation, Logic and Physics",
"Applied Category Theory&q= uot;, "Simons Workshop on Compositionality", and
the &q= uot;Peripatetic Seminar in Sheaves and Logic".

# INVITED SPEAKERS

John Baez, University of Cali= fornia, Riverside
Tobias Fritz, Perimeter Institute for Theoretic= al Physics
Nina Otter, University of California, Los Angeles

# PAPERS ACCEPTED FOR PRESENTATION
=E2=80=A2= Samuel Balco and Alexander Kurz, Nominal String Diagrams
=E2=80= =A2 Harsh Beohar and Sebastian K=C3=BCpper, Bisimulation Maps in Presheaf C= ategories
=E2=80=A2 Owen Biesel, Duality for Algebras of the Conn= ected Planar Wiring Diagrams Operad
=E2=80=A2 Daniel Cicala, Rewr= iting Structured Cospans
=E2=80=A2 Cole Comfort, Circuit Relation= s for Real Stabilizers: Towards TOF+H
=E2=80=A2 Kenny Courser and= John Baez, Structured Cospans
=E2=80=A2 Jonathan Gallagher, Benj= amin MacAdam and Geoff Cruttwell, Towards Formalizing and Extending Differe= ntial Programming via Tangent Categories
=E2=80=A2 Kohei Kishida,= Soroush Rafiee Rad, Joshua Sack and Shengyang Zhong, Categorical Equivalen= ce between Orthocomplemented Quantales and Complete Orthomodular Lattices
=E2=80=A2 Benjamin MacAdam, Jonathan Gallagher and Rory Lucyshyn-W= right, Scalars in Tangent Categories
=E2=80=A2 Jade Master, Gener= alized Petri Nets
=E2=80=A2 Joe Moeller and Christina Vasilakopou= lou, Monoidal Grothendieck Construction
=E2=80=A2 Jeffrey Morton,= 2-Group Actions and Double Categories
=E2=80=A2 Michael Shulman,= All (=E2=88=9E,1)-Toposes Have Strict Univalent Universes
=E2=80= =A2 David Sprunger and Shin-Ya Katsumata, Differential Categories, Recurren= t Neural networks, and Machine learning
=E2=80=A2 Christian Willi= ams and John Baez, Enriched Lawvere Theories for Operational Semantics

# REGISTRATION

Please registe= r as soon as possible so that catering can be arranged.

https://docs.google.com/forms/d/e/1FAIpQLScSmO-WYDjTOzRCW_NkY9Qrf1Ceb= A3wteX9TICNerkbPG1CYA/viewform

# PROGRAMME COMMITT= EE

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 Gogios= o, University of Oxford
Amar Hadzihasanovic, Kyoto University
Chris Heunen, University of Edinburgh
Dominic Horsman, Uni= versity of Grenoble
Martti Karvonen, University of Edinburgh
Kohei Kishida, Dalhousie University (chair)
Andre Kornell, = University of California, Davis
Alexander Kurz, Chapman Universit= y
Martha Lewis, University of Amsterdam
Samuel Mimram, = =C3=89cole Polytechnique
Benjamin Musto, University of Oxford
Nina Otter, University of California, Los Angeles
Simona P= aoli, University of Leicester
Dorette Pronk, Dalhousie University=
Mehrnoosh Sadrzadeh, Queen Mary
Pawel Sobocinski, Univ= ersity of Southampton
Joshua Tan, University of Oxford
= Sean Tull, University of Oxford
Dominic Verdon, University of Bri= stol
Jamie Vicary, University of Birmingham and University of Oxf= ord
Maaike Zwart, University of Oxford

--
You received this message because you are subscribed to the Google Groups &= quot;Homotopy Type Theory" group.
To unsubscribe from this group and stop receiving emails from it, send an e= mail to = HomotopyTypeTheory+unsubscribe@googlegroups.com.
To view this discussion on the web visit https://groups.google.co= m/d/msgid/HomotopyTypeTheory/25e1ba0a-d216-40dd-b78a-7d4c6dd896ef%40googleg= roups.com.
For more options, visit http= s://groups.google.com/d/optout.
------=_Part_394_1191378328.1557414228871-- ------=_Part_393_824911110.1557414228871--