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=-0.9 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-oi1-x23f.google.com (mail-oi1-x23f.google.com [IPv6:2607:f8b0:4864:20::23f]) by inbox.vuxu.org (OpenSMTPD) with ESMTP id 9eb8d210 for ; Thu, 4 Apr 2019 14:23:21 +0000 (UTC) Received: by mail-oi1-x23f.google.com with SMTP id o132sf1193829oib.5 for ; Thu, 04 Apr 2019 07:23:21 -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=oiLi3Gb82tOwlAp47/XMf4dm9fdWLeM4m98NjpNVf8w=; b=bGBLXLk6QiRQyt0L78G45fedVnAB6wb0cH6RzfCeFb0L/86RfEnjPnnLIIqMKjiB3K wtDza21Yd/N9SH7a0rw0JPyWWLT2aGG+gv+rfDqm03mb5/xuy9Xr4gqPfAPGYEzzfNGP N4STtWLruDmE+NWBGg1P/1ViXpKkOUArSVq2aO9PBackhgHpfncbjMjn0Jt7zvledAXq u9dsiIX3IV2VgT/IRKaT+gzH+b7ZUduqt/JiCOsAuPVmArbdtXJZGAyW9bkI0BhnZcaq /EXFJlUZ5Pztbhcq19Re2AtszmbALvaYbM7Wk2M0eMUsDJNQlQws8+RcLGZ3e6MsW9Ck kYJA== 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=oiLi3Gb82tOwlAp47/XMf4dm9fdWLeM4m98NjpNVf8w=; b=BBU2JmajA16O5BMOYJUmVAfy1d3vycJHG28bN3r+HIUuFN9/2UcroNK78sOlfwLzxw vvyn0u4U5tDtFLb12CzEd41Z/L4atBEpmpeEy3klaT7Fdp0moLclGJa4Cp7R7zb3Gcyg P4wxZFebnIC95VfiDKOcthvtztqXXRcOFQ887dhS4oKZ/Y5PXZV88KKe39ecMDXKzJo7 O7t1Ter56nCmHTHHAKuobgyIcr3Y7EgjQQM3QVSRgVbYst3KyewUZzeJMAoLeYU4mll/ +/A4217+hPDk4k6W4lPByk0GJTWxvIdqTQ65W+NVQs8aOy+Fl24DVkVNWe9FMrIys3E6 O9Lw== 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=oiLi3Gb82tOwlAp47/XMf4dm9fdWLeM4m98NjpNVf8w=; b=jyiIrjgMkPYL74MzlBt1c5kbIrmCEWWSQohit2v7KOD/ehTyOA/wUqnC46fOJF6fPK cmoyPm4aG2hHSqdn254GsMBUqO9GgROMzTVopUuu4vD9zYhF/Vr57SWXQ6aJA02c1If6 j+g/xdZJH8DzGunevPVe3x2IG8nCKa9XIfQ0eUB/Oq/4Eua68Q+Q2sCfI9nUB7I/O7eN 8+/K2yMiV9JhvC5KZ/zDYNPz5jepQrPwwOof+oyNiTged6aMq+UMOOIg9qfdzBrheEl0 Ebq9Gpk8uGvZtZHAKPJqApXpVQ2Vccm9ZQcM+ZzPTTGkobWpra9D1SYmUzHGrzLt4wLk WKcA== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: APjAAAUvRvqH2JYUOlR/IwwKtGWASS4IhPdoKMCBG0C8WYtbSOFn/LIt TowUQ15A2rgEzAXPKZCF42g= X-Google-Smtp-Source: APXvYqz/ZZdsSb6TFIGHxy2ChN+d4QDzJaVPDbWIeLrdGGSpcE1Hr+oGGurnkEIbRIF0orggedrNJw== X-Received: by 2002:aca:5358:: with SMTP id h85mr3633118oib.98.1554387799924; Thu, 04 Apr 2019 07:23:19 -0700 (PDT) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a9d:32c5:: with SMTP id u63ls1093667otb.1.gmail; Thu, 04 Apr 2019 07:23:19 -0700 (PDT) X-Received: by 2002:a05:6830:1692:: with SMTP id k18mr4335808otr.216.1554387799419; Thu, 04 Apr 2019 07:23:19 -0700 (PDT) Date: Thu, 4 Apr 2019 07:23:18 -0700 (PDT) From: Kohei Kishida To: Homotopy Type Theory Message-Id: <6a53b608-8699-475d-9c62-534c9fceaa04@googlegroups.com> Subject: [HoTT] Fourth Symposium on Compositional Structures (SYCO 4): call for papers MIME-Version: 1.0 Content-Type: multipart/mixed; boundary="----=_Part_1472_1595375073.1554387798724" 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_1472_1595375073.1554387798724 Content-Type: multipart/alternative; boundary="----=_Part_1473_2102979899.1554387798725" ------=_Part_1473_2102979899.1554387798725 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. 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. Submission is easy, with no format requirements or page restrictions. The meeting does not have proceedings, so work can be submitted even if it has been submitted or published elsewhere. Think creatively--- you could submit a recent paper, or notes on work in progress, or even a recent Masters or PhD thesis. While no list of topics could be exhaustive, SYCO welcomes submissions with a compositional focus related to any of the following areas, in particular from the perspective of category theory: - logical methods in computer science, including classical and quantum programming, type theory, concurrency, natural language processing and machine learning; - graphical calculi, including string diagrams, Petri nets and reaction networks; - languages and frameworks, including process algebras, proof nets, type theory and game semantics; - abstract algebra and pure category theory, including monoidal category theory, higher category theory, operads, polygraphs, and relationships to homotopy theory; - quantum algebra, including quantum computation and representation theory; - tools and techniques, including rewriting, formal proofs and proof assistants, and game theory; - industrial applications, including case studies and real-world problem descriptions. 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". SYCO will be a regular fixture in the academic calendar, running regularly throughout the year, and becoming over time a recognized venue for presentation and discussion of results in an informal and friendly atmosphere. To help create this community, and to avoid the need to make difficult choices between strong submissions, in the event that more good-quality submissions are received than can be accommodated in the timetable, the programme committee may choose to *defer* some submissions to a future meeting, rather than reject them. This would be done based largely on submission order, giving an incentive for early submission, but would also take into account other requirements, such as ensuring a broad scientific programme. Deferred submissions can be re-submitted to any future SYCO meeting, where they would not need peer review, and where they would be prioritised for inclusion in the programme. This will allow us to ensure that speakers have enough time to present their ideas, without creating an unnecessarily competitive reviewing process. Meetings will be held sufficiently frequently to avoid a backlog of deferred papers. # INVITED SPEAKERS TBA # IMPORTANT DATES All times are anywhere-on-earth. - Submission deadline: Wednesday 24 April 2019 - Author notification: Wednesday 1 May 2019 - Registration deadline: TBA - Symposium dates: Wednesday 22 and Thursday 23 May 2019 # SUBMISSIONS Submission is by EasyChair, via the following link: - https://easychair.org/conferences/?conf=3Dsyco4 Submissions should present research results in sufficient detail to allow them to be properly considered by members of the programme committee, who will assess papers with regards to significance, clarity, correctness, and scope. We encourage the submission of work in progress, as well as mature results. There are no proceedings, so work can be submitted even if it has been previously published, or has been submitted for consideration elsewhere. There is no specific formatting requirement, and no page limit, although for long submissions authors should understand that reviewers may not be able to read the entire document in detail. # PROGRAMME COMMITTEE Miriam Backens, University of Oxford Ross Duncan, University of Strathclyde and Cambridge Quantum Computing Brendan Fong, Massachusetts Institute of Technology 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 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. For more options, visit https://groups.google.com/d/optout. ------=_Part_1473_2102979899.1554387798725 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
FOURTH SYMPOSIUM ON COMPOSITIONAL STRUCTURES (SY= CO 4)

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






=

- graphical calculi, including string diagrams, Petri n= ets and
reaction networks;

- languages a= nd frameworks, including process algebras, proof nets,
type theor= y and game semantics;

- abstract algebra and pure = category theory, including monoidal
category theory, higher categ= ory theory, operads, polygraphs, and
relationships to homotopy th= eory;

- quantum algebra, including quantum computa= tion and representation
theory;

- tools = and techniques, including rewriting, formal proofs and proof
assi= stants, and game theory;

- industrial applications= , including case studies and real-world
problem descriptions.

This new series aims to bring together the communitie= s behind many
previous successful events which have taken place o= ver the last
decade, including "Categories, Logic and Physic= s", "Categories, Logic
and Physics (Scotland)", &q= uot;Higher-Dimensional Rewriting and
Applications", "St= ring Diagrams in Computation, Logic and Physics",
"Appl= ied Category Theory", "Simons Workshop on Compositionality",= and
the "Peripatetic Seminar in Sheaves and Logic".

SYCO will be a regular fixture in the academic calen= dar, running
regularly throughout the year, and becoming over tim= e a recognized
venue for presentation and discussion of results i= n an informal and
friendly atmosphere. To help create this commun= ity, and to avoid the
need to make difficult choices between stro= ng submissions, in the
event that more good-quality submissions a= re received than can be
accommodated in the timetable, the progra= mme committee may choose to
*defer* some submissions to a future = meeting, rather than reject them.
This would be done based largel= y on submission order, giving an
incentive for early submission, = but would also take into account other
requirements, such as ensu= ring a broad scientific programme. Deferred
submissions can be re= -submitted to any future SYCO meeting, where they
would not need = peer review, and where they would be prioritised for
inclusion in= the programme. This will allow us to ensure that speakers
have e= nough time to present their ideas, without creating an
unnecessar= ily competitive reviewing process. Meetings will be held
sufficie= ntly frequently to avoid a backlog of deferred papers.

=
# INVITED SPEAKERS

TBA

# IMPORTANT DATES

All times are anywhere-on-ear= th.

- Submission deadline: Wednesday 24 April 2019=
- Author notification: Wednesday 1 May 2019
- Registra= tion deadline: TBA
- Symposium dates: Wednesday 22 and Thursday 2= 3 May 2019

# SUBMISSIONS

= Submission is by EasyChair, via the following link:

=C2=A0 -
http= s://easychair.org/conferences/?conf=3Dsyco4

Su= bmissions should present research results in sufficient detail to
allow them to be properly considered by members of the programme
committee, who will assess papers with regards to significance,
= clarity, correctness, and scope. We encourage the submission of work
<= div>in progress, as well as mature results. There are no proceedings, so
work can be submitted even if it has been previously published, or = has
been submitted for consideration elsewhere. There is no speci= fic
formatting requirement, and no page limit, although for long<= /div>
submissions authors should understand that reviewers may not be a= ble
to read the entire document in detail.

# PROGRAMME COMMITTEE

Miriam Backens, Universit= y of Oxford
Ross Duncan, University of Strathclyde and Cambridge = Quantum Computing
Brendan Fong, Massachusetts Institute of Techno= logy
Stefano Gogioso, University of Oxford
Amar Hadziha= sanovic, Kyoto University
Chris Heunen, University of Edinburgh
Dominic Horsman, University of Grenoble
Martti Karvonen,= University of Edinburgh
Kohei Kishida, Dalhousie University (cha= ir)
Andre Kornell, University of California, Davis
Mart= ha Lewis, University of Amsterdam
Samuel Mimram, =C3=89cole Polyt= echnique
Benjamin Musto, University of Oxford
Nina Otte= r, University of California, Los Angeles
Simona Paoli, University= of Leicester
Dorette Pronk, Dalhousie University
Mehrn= oosh Sadrzadeh, Queen Mary
Pawel Sobocinski, University of Southa= mpton
Joshua Tan, University of Oxford
Sean Tull, Unive= rsity of Oxford
Dominic Verdon, University of Bristol
J= amie Vicary, University of Birmingham and University of Oxford
Ma= aike 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.
For more options, visit http= s://groups.google.com/d/optout.
------=_Part_1473_2102979899.1554387798725-- ------=_Part_1472_1595375073.1554387798724--