From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) 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,FREEMAIL_FROM,HTML_MESSAGE,MAILING_LIST_MULTI, RCVD_IN_DNSWL_NONE,T_SCC_BODY_TEXT_LINE autolearn=ham autolearn_force=no version=3.4.4 Received: (qmail 14368 invoked from network); 1 Jul 2022 16:30:26 -0000 Received: from mail-yb1-xb37.google.com (2607:f8b0:4864:20::b37) by inbox.vuxu.org with ESMTPUTF8; 1 Jul 2022 16:30:26 -0000 Received: by mail-yb1-xb37.google.com with SMTP id j11-20020a05690212cb00b006454988d225sf2372734ybu.10 for ; Fri, 01 Jul 2022 09:30:26 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlegroups.com; s=20210112; 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-subscribe:list-unsubscribe; bh=PjwP4Ppg49brCge/drY0emWJrCeFNHlmQsA12wEuHzU=; b=ffGgkkYjRwLWNxhu0PpE4o1sYSYvpH4e5beLq4964teQqVbmGgr4uNVrg5k+2vGRtU jE5pb8voz00J4YJALJdV7R8qRAutKGNrEh65uIPDV6DcRCcW6b/QqszZpBH2j2KdnmFI RUzHS6qem9h+Fvmly1N9dkVPFT4SLDdQdmJXDGcY4MA5LnyXSG8kZJCPaxh5vu8UPLm+ 1g0BwydNiXK3CVTTiapKjW8GMQEd20ydOJIG7IqMV5OtA76UAT6u4g4NMFw6Y4a3zBuP YU5yZup2ndTDQC8OADx5ST5VIxukibSfNpGQIehzRyXwIJgqqOSHTjVpF1RU1fzrB8Pu g9CQ== DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20210112; h=date:from:to:message-id:subject:mime-version:x-original-sender :precedence:mailing-list:list-id:list-post:list-help:list-archive :list-subscribe:list-unsubscribe; bh=PjwP4Ppg49brCge/drY0emWJrCeFNHlmQsA12wEuHzU=; b=etoIMUJEG7cPCRSpOGW+26MwQPFG2IaOj/7iMt4UM4kOUIs6aoFJkDymoynzeZHLkv Skj81S74H6+lE1IdGQ6vbvh6xOVA1Te/qwaXXKShwC4iuN1tBhBiuHGv1L5xSXtJZkie cGwiAjD3R5qC0JTOdr/od8mGss7nxUSitJzMo0RMnFu6ZR65S3HzMBD0932KaVLwNndp hdvrY27Qei0SDF6FT7x2+GkHIY2zQh6YEdmihJYru4CDZewIHy6PSGO13+BPhOCvPknL 6UFbM4BEUv+u0c5YaLMGHsIbkpa1a6pL1eAeWEzbVC4vozpyp52e4ZmPM2FsEPQfTaQQ AfUA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=sender:x-gm-message-state:date:from:to:message-id:subject :mime-version:x-original-sender:precedence:mailing-list:list-id :list-post:list-help:list-archive:list-subscribe:list-unsubscribe; bh=PjwP4Ppg49brCge/drY0emWJrCeFNHlmQsA12wEuHzU=; b=dy0vAK12G/ZhRpgoBygPY97XZgPgOyBDmv9vjsTbReFimtk8812yaD7dFpBzVOWCvw tmAiqfklPj9WJixB+kZfJEWdsh8xglFlVBNjeNDhTBm/SOXj7xYKcxxzOL0kHF3CkmBu rrDj2DBBIF7rF1hqga9e/rVcFlsOQ5XTkhKhmZN43FeGvFsiw1OVw0Sf2rGAOyfDIbge P1vn79sZNOABwcHZaPyh6opELosms7cbkl/lXc863/yOTPvaHjuzE89Cl7sn5w/mNAAk VCH66ujrHJ2DSE+XbkqNlK6ZWxpIpFNiVOpojhQLLM+rD4+4k0vxI/W9YDsdR2SafkiW 3EYQ== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: AJIora+BchmuP8ijoBSQHdpr5CyfsnfHtzXUQ5ONA02XMCKY/aNVPspA vB75XjqU5GV4qRorBNwYGCI= X-Google-Smtp-Source: AGRyM1smVKo4w7w5B8fBSNu5rNjRdAledZ2uSRPfikJSS9DloBAtCJV/H+Lhrg3ejIE2ja2jry54lw== X-Received: by 2002:a05:6902:136c:b0:649:81aa:5f7b with SMTP id bt12-20020a056902136c00b0064981aa5f7bmr16108951ybb.303.1656693024026; Fri, 01 Jul 2022 09:30:24 -0700 (PDT) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a05:690c:b84:b0:31b:d12c:83cc with SMTP id ck4-20020a05690c0b8400b0031bd12c83ccls7275784ywb.6.gmail; Fri, 01 Jul 2022 09:30:22 -0700 (PDT) X-Received: by 2002:a81:a095:0:b0:317:d4ce:38b6 with SMTP id x143-20020a81a095000000b00317d4ce38b6mr18099319ywg.83.1656693022874; Fri, 01 Jul 2022 09:30:22 -0700 (PDT) Received: by 2002:a81:3d08:0:b0:317:5a48:9c54 with SMTP id 00721157ae682-31c3a466498ms7b3; Fri, 1 Jul 2022 09:29:33 -0700 (PDT) X-Received: by 2002:a0d:df50:0:b0:317:9c40:3b8b with SMTP id i77-20020a0ddf50000000b003179c403b8bmr17797212ywe.332.1656692973396; Fri, 01 Jul 2022 09:29:33 -0700 (PDT) Date: Fri, 1 Jul 2022 09:29:33 -0700 (PDT) From: Elena Di Lavore To: Homotopy Type Theory Message-Id: <3d25268b-70b0-4145-bfa9-24d2c7cd1864n@googlegroups.com> Subject: [HoTT] SYCO 9 -Call for submissions - Deadline 1 August MIME-Version: 1.0 Content-Type: multipart/mixed; boundary="----=_Part_4795_1432229201.1656692973193" X-Original-Sender: elenatalita@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: , List-Unsubscribe: , ------=_Part_4795_1432229201.1656692973193 Content-Type: multipart/alternative; boundary="----=_Part_4796_279575162.1656692973193" ------=_Part_4796_279575162.1656692973193 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable ----------------------------------------- CALL FOR SUBMISSIONS NINTH SYMPOSIUM ON COMPOSITIONAL STRUCTURES (SYCO 9) Como, Italy 8-9 September 2022 Submission deadline: Monday 1 August 2022 https://www.cl.cam.ac.uk/events/syco/9/ ----------------------------------------- The Symposium on Compositional Structures (SYCO) is an interdisciplinary=20 series of meetings aiming to support the growing community of researchers= =20 interested in the phenomenon of compositionality, from both applied and=20 abstract perspectives, and in particular where category theory serves as a= =20 unifying common language. Previous SYCO events have been held in=20 Birmingham, Strathclyde, Oxford, Chapman, Leicester and Tallinn. 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. Submissions is easy, with no=20 formatting or page restrictions. The meeting does not have proceedings, so= =20 work can be submitted even if it has been submitted or published elsewhere.= =20 You could submit work-in-progress, or a recently completed paper, or even a= =20 PhD or Masters 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. ** IMPORTANT DATES ** All deadlines are 23:59 Anywhere on Earth. Submission deadline: Monday 1 August Author notification: Monday 8 August 2022 Symposium dates: Thursday 8 and Friday 9 September 2022 ** SUBMISSION INSTRUCTIONS ** Submissions are by EasyChair, via the SYCO 9 submission page: https://easychair.org/my/conference?conf=3Dsyco9 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. 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. Deferred submissions can be re-submitted to any future SYCO meeting, where they will not need peer review, and where they will be prioritised for inclusion in the programme. Meetings will be held sufficiently frequently to avoid a backlog of deferred papers. If you have a submission which was deferred from a previous SYCO meeting, it will not automatically be considered for SYCO 9; you still need to submit it again through EasyChair. When submitting, append the words "DEFERRED FROM SYCO X" to the title of your paper, replacing "X" with the appropriate meeting number. There is no need to attach any documents. ** PROGRAMME COMMITTEE ** The PC chair is John van de Wetering, Radboud University. The Programme=20 Committee will be announced soon. ** STEERING COMMITTEE ** Ross Duncan, University of Strathclyde Chris Heunen, University of Edinburgh Dominic Horsman, University of Oxford Aleks Kissinger, University of Oxford Samuel Mimram, =C3=89cole Polytechnique Simona Paoli, University of Aberdeen Mehrnoosh Sadrzadeh, University College London Pawel Sobocinski, Tallinn University of Technology Jamie Vicary, University of Cambridge --=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/3d25268b-70b0-4145-bfa9-24d2c7cd1864n%40googlegroups.com= . ------=_Part_4796_279575162.1656692973193 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable -----------------------------------------
CALL FOR SUBMISSIONS
NINTH SYMPOSIUM ON COMPOSITIONAL STRUCTURES (SYCO 9)

Como, Italy
8-9 September 2022

Submission deadline:  Monday 1 August 2022
----------------------------------------= -

The Symposium on Compositional Structures (SYCO) is an interdisciplinary series of meetings aiming to support the growing community of=20 researchers interested in the phenomenon of compositionality, from both=20 applied and abstract perspectives, and in particular where category=20 theory serves as a unifying common language. Previous SYCO events have=20 been held in Birmingham, Strathclyde, Oxford, Chapman, Leicester and=20 Tallinn.

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. Submissions is easy, with no=20 formatting or page restrictions. The meeting does not have proceedings,=20 so work can be submitted even if it has been submitted or published=20 elsewhere. You could submit work-in-progress, or a recently completed=20 paper, or even a PhD or Masters 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.

** IMPORTANT DATES **

All deadlines are 23:59 Anywhere on Earth.

Submission deadline: Monday 1 August
Author notification: Monday 8 August 2022
Symposium dates: Thursday 8 and Friday 9 September 2022

** SUBMISSION INSTRUCTIONS **

Submissions are by EasyChair, via the SYCO 9 submission page:
https://easych= air.org/my/conference?conf=3Dsyco9

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.

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. Deferred submissions can be re-submitted to any future SYCO
meeting, where they will not need peer review, and where they will be
prioritised for inclusion in the programme. Meetings will be held
sufficiently frequently to avoid a backlog of deferred papers.

If you have a submission which was deferred from a previous SYCO
meeting, it will not automatically be considered for SYCO 9; you still
need to submit it again through EasyChair. When submitting, append the
words "DEFERRED FROM SYCO X" to the title of your paper, replacing "X"
with the appropriate meeting number. There is no need to attach any
documents.

** PROGRAMME COMMITTEE **

The PC chair is John van de Wetering, Radboud University. The Programme Com= mittee will be announced soon.

** STEERING COMMITTEE **

Ross Duncan, University of Strathclyde
Chris Heunen, University of Edinburgh
Dominic Horsman, University of Oxford
Aleks Kissinger, University of Oxford
Samuel Mimram, =C3=89cole Polytechnique
Simona Paoli, University of Aberdeen
Mehrnoosh Sadrzadeh, University College London
Pawel Sobocinski, Tallinn University of Technology
Jamie Vicary, University of Cambridge

--
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.c= om/d/msgid/HomotopyTypeTheory/3d25268b-70b0-4145-bfa9-24d2c7cd1864n%40googl= egroups.com.
------=_Part_4796_279575162.1656692973193-- ------=_Part_4795_1432229201.1656692973193--