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.2 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-x33b.google.com (mail-ot1-x33b.google.com [IPv6:2607:f8b0:4864:20::33b]) by inbox.vuxu.org (OpenSMTPD) with ESMTP id b0c5a031 for ; Tue, 11 Jun 2019 12:34:44 +0000 (UTC) Received: by mail-ot1-x33b.google.com with SMTP id a21sf6268828otk.17 for ; Tue, 11 Jun 2019 05:34:44 -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=X75csgW3dSc1V4pR8QkFLYcL0E/EwOBj9JI3zb4UFyg=; b=D7mA+tM6LHTuH62Tkr8hJEzpZhFyD97tBGEhEyiIhFa6umncWJX+wuTRsQC+hMxU+1 z/ZQ2L3b41yy5hukwmYyqMFG6EHWkNaFdrCexSkwu3luNK4L7qHc0J+yCQV8xV4rzj9f IASS99nVzRKWh1ps9Ko17B538spnlraNuPw78eqrFiu59pzK7B+mvfmt4Eb105qEbIto 15YTQ8lkAWqrgVw1spm1yIZE/pZoFvRoYymqcA6tibH4a5Q3atbgoD+BQcaTO9QAvE+Q BkwnF9IVI9sGJTiI+ZuE7kNDvZM49yFmasFp6Q5K/10ajTBspCKYI8VQTTdjZuHPtQ8i NlQA== 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=X75csgW3dSc1V4pR8QkFLYcL0E/EwOBj9JI3zb4UFyg=; b=FBcmNenZFisytGyeed9bZ1IfRqTYeL9dMIhb3TQIPTLsa6pwNihECZTbPh8dA3M6LQ +HzmyroyRGmFHizFpKRc5vnPgAFmEX36luO29o0TC29ZejaFeWT8j4WYFTxirj6mOUW9 AbvIEKrweQ0JZ+lg6UGTxoTDjmUogx68eNcn0gsq9l70dfe67waJEng+2Yk5yJZib7Ij XI3NBXgWwwSDdxCuz56eoDdrxHF5bInFNvtK/NwlgIrQtsgyyPHVCsFkr9JRnTCdcmll dfXurU4YwRUsESd4VvLvnfF0gTpLkAVUK58XC4ijdbPfAS8wQ4rq7Na67xUBcl7VNfY0 s9IA== 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=X75csgW3dSc1V4pR8QkFLYcL0E/EwOBj9JI3zb4UFyg=; b=Uwh3HAL++QKglkk928VCW6TyV49yl2651ynBRqip89osmgAvXAnkTsDHxGYNXjuBOS zmVZE2WJG4KW9epCuC0WxFg6Bd3AElQHxtEZOXoTYm95WCseXTCnNWAL8/LWstvGiUQ5 X3+fKGZc+ZmhWgqv2Qz3BO0W6bYt9yWTIJFN6X84WB72HbLUgSx3uE5EWe7mvnhwOwtb +w+6R3IQBtZhEmxhdhU+xA5CV40+S93fo5x+OCjtQiu9ivZQWls0Brkzo82SPwAZvc0b H7po3DAhnkoKBnTHbsdUD4fFLiWEhGkGykaLSTqQmee34HRT4DlBcbHm43TcDxsiMB8Q JBYw== Sender: homotopytypetheory@googlegroups.com X-Gm-Message-State: APjAAAUWiqt3N1Nrx5Jm3FR4KTmMWe9ZM98Opv/loa4i5QRallwT2D7L KUlO9xI+M25O/osU8U8pzMw= X-Google-Smtp-Source: APXvYqy63C6E+LuOTMFwNEFrByHdsQcXkq43+ExF4h6W89xeHA3GK/iSm9manOAyxYnPeW48hiNIBA== X-Received: by 2002:aca:c186:: with SMTP id r128mr14970401oif.173.1560256482814; Tue, 11 Jun 2019 05:34:42 -0700 (PDT) X-BeenThere: homotopytypetheory@googlegroups.com Received: by 2002:a9d:3e45:: with SMTP id h5ls1442130otg.11.gmail; Tue, 11 Jun 2019 05:34:42 -0700 (PDT) X-Received: by 2002:a9d:174:: with SMTP id 107mr22496404otu.322.1560256482124; Tue, 11 Jun 2019 05:34:42 -0700 (PDT) Date: Tue, 11 Jun 2019 05:34:41 -0700 (PDT) From: Dan Ghica To: Homotopy Type Theory Message-Id: <3c2300ad-d43f-4af8-98e2-6a54d8c3bd6d@googlegroups.com> Subject: [HoTT] CALL FOR PAPERS JOINT SYCO-STRING WORKSHOP MIME-Version: 1.0 Content-Type: multipart/mixed; boundary="----=_Part_2205_725960237.1560256481547" X-Original-Sender: dan.ghica@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_2205_725960237.1560256481547 Content-Type: multipart/alternative; boundary="----=_Part_2206_1200348432.1560256481547" ------=_Part_2206_1200348432.1560256481547 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D CALL FOR PAPERS JOINT SYCO-STRING WORKSHOP 3rd Annual Workshop on String Diagrams in=20 Computation, Logic, and Physics (STRING 2019) and the=20 Fifth Symposium on Compositional Structures (SYCO 5) http://events.cs.bham.ac.uk/syco/strings3-syco5/ University of Birmingham, UK 4-6 September 2019 =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D STRING diagrams are a powerful tool for reasoning about processes and=20 composition. Originally developed as a convenient notation for the arrows= =20 of monoidal and higher categories, they are increasingly used in the formal= =20 study of digital circuits, control theory, concurrency, quantum and=20 classical computation, natural language processes, logic and more. String= =20 diagrams combine the advantages of formal syntax with intuitive aspects:=20 the graphical nature of terms means that they often reflect the topology of= =20 systems under consideration. Moreover, diagrammatic reasoning transforms=20 formal arguments into dynamic, moving images, thus building domain specific= =20 intuitions, valuable both for practitioners and pedagogy. The Symposium on Compositional Structures is a new interdisciplinary series= =20 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. We welcome submissions from researchers across=20 computer science, mathematics, physics, philosophy, and beyond, with the=20 aim of fostering friendly discussion, disseminating new ideas, and=20 spreading knowledge between fields. Submission is encouraged for both=20 mature research and work in progress, and by both established academics and= =20 junior researchers, including students. Submission is easy, with no format requirements or page restrictions. The= =20 meeting does not have proceedings, so work can be submitted even if it has= =20 been submitted or published elsewhere. You could submit work-in-progress,= =20 or a recently completed paper, or even a PhD or Masters thesis. While no list of topics could be exhaustive, SYCO-STRING welcomes=20 submissions with a compositional focus related to any of the following=20 areas, in particular (but not necessarily) from the perspective of category= =20 theory: * logical methods in computer science, including classical and quantum=20 programming, type theory, concurrency, natural language processing and=20 machine learning; * graphical calculi, including string diagrams, Petri nets and reaction=20 networks; * languages and frameworks, including process algebras, proof nets, type=20 theory and game semantics; * abstract algebra and pure category theory, including monoidal category=20 theory, higher category theory, operads, polygraphs, and relationships to= =20 homotopy theory; * quantum algebra, including quantum computation and representation theory; * tools and techniques, including rewriting, formal proofs and proof=20 assistants, and game theory; * industrial applications, including case studies and real-world problem=20 descriptions. Invited speakers ---------------- * Aleks Kissinger, Oxford=20 * Jean Krivine, CNRS Paris * Koko Muroya, RIMS Kyoto=20 * Detlef Plump, York * Mehrnoosh Sadrzadeh, QMU London=20 * (more TBA) Important dates --------------- All deadlines are 23:59 anywhere-on-earth on the given dates. Submission deadline: 24 July 2019 Author notification: 7 August 2019 Travel support application deadline: To be announced Registration: To be announced Event dates: Wednesday 4 September to Friday 6 September 2019. SYCO will take place on Wednesday 4 September and the morning of Thursday 5= =20 September.=20 STRING will take place on the afternoon of Thursday 5 September and all day= =20 on Friday 6 September. Submissions ----------- Submission for both meetings will be by a single EasyChair page. There will= =20 be a single programme committee. Submission is not yet open. Submissions should present research results in sufficient detail to allow= =20 them to be properly considered. We encourage the submission of work in=20 progress, as well as mature results. There are no proceedings, so work can= =20 be submitted even if it has been previously published, or has been=20 submitted for consideration elsewhere. There is no specific formatting=20 requirement, and no page limit, although for long submissions authors=20 should be aware that reviewers will not be able to read the entire document= =20 in detail. Think creatively=E2=80=94you could submit a recent paper, draft = notes of=20 a project in progress, or even a recent Masters or PhD thesis. To indicate the meeting for which you would like your submission to be=20 considered, append "(STRING)" or "(SYCO)" in the title field of the=20 EasyChair submission page. If you would be happy for it to be presented at= =20 either meeting, you may append both. If you have a submission which was deferred from a previous SYCO meeting,= =20 it will not automatically be considered for SYCO 5; you still need to=20 submit it again explicitly. Such a submission will be prioritised for=20 inclusion in the SYCO 5 programme. When submitting, append "(DEFERRED FROM= =20 SYCO X)" to the title of your paper, replacing "X" with the appropriate=20 meeting number. There is no need to attach any documents. --=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/3c2300ad-d43f-4af8-98e2-6a54d8c3bd6d%40googlegroups.com. For more options, visit https://groups.google.com/d/optout. ------=_Part_2206_1200348432.1560256481547 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D
CALL FOR PAPERS JOINT SYCO-STRING WORKSHOP
3rd Annual Workshop on String Diagrams in=C2=A0
Comp= utation, Logic, and Physics
(STRING 2019)

and the=C2=A0

Fifth Symposium on Compositional S= tructures
(SYCO 5)

http://events.cs.bham= .ac.uk/syco/strings3-syco5/

University of Birmingh= am, UK
4-6 September 2019
=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D

STRING diagrams = are a powerful tool for reasoning about processes and composition. Original= ly developed as a convenient notation for the arrows of monoidal and higher= categories, they are increasingly used in the formal study of digital circ= uits, control theory, concurrency, quantum and classical computation, natur= al language processes, logic and more. String diagrams combine the advantag= es of formal syntax with intuitive aspects: the graphical nature of terms m= eans that they often reflect the topology of systems under consideration. M= oreover, diagrammatic reasoning transforms formal arguments into dynamic, m= oving images, thus building domain specific intuitions, valuable both for p= ractitioners and pedagogy.

The Symposium on Compos= itional Structures is a new interdisciplinary series of meetings aiming to = support the growing community of researchers interested in the phenomenon o= f compositionality, from both applied and abstract perspectives, and in par= ticular where category theory serves as a unifying common language. We welc= ome submissions from researchers across computer science, mathematics, phys= ics, philosophy, and beyond, with the aim of fostering friendly discussion,= disseminating new ideas, and spreading knowledge between fields. Submissio= n 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 res= trictions. The meeting does not have proceedings, so work can be submitted = even if it has been submitted or published elsewhere. You could submit work= -in-progress, or a recently completed paper, or even a PhD or Masters thesi= s.

While no list of topics could be exhaustive, SY= CO-STRING welcomes submissions with a compositional focus related to any of= the following areas, in particular (but not necessarily) from the perspect= ive of category theory:

* logical methods in compu= ter science, including classical and quantum programming, type theory, conc= urrency, natural language processing and machine learning;
* grap= hical calculi, including string diagrams, Petri nets and reaction networks;=
* languages and frameworks, including process algebras, proof ne= ts, type theory and game semantics;
* abstract algebra and pure c= ategory theory, including monoidal category theory, higher category theory,= operads, polygraphs, and relationships to homotopy theory;
* qua= ntum 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.

Invited speakers
----------------
* Aleks Kissinger, O= xford=C2=A0
* Jean Krivine, CNRS Paris
* Koko Muroya, R= IMS Kyoto=C2=A0
* Detlef Plump, York
* Mehrnoosh Sadrza= deh, QMU London=C2=A0
* (more TBA)

Impor= tant dates
---------------
All deadlines are 23:59 anyw= here-on-earth on the given dates.

Submission deadl= ine: 24 July 2019
Author notification: 7 August 2019
Tr= avel support application deadline: To be announced
Registration: = To be announced
Event dates: Wednesday 4 September to Friday 6 Se= ptember 2019.

SYCO will take place on Wednesday 4 = September and the morning of Thursday 5 September.=C2=A0
STRING w= ill take place on the afternoon of Thursday 5 September and all day on Frid= ay 6 September.

Submissions
-----------<= /div>
Submission for both meetings will be by a single EasyChair page. = There will be a single programme committee. Submission is not yet open.

Submissions should present research results in suffic= ient detail to allow them to be properly considered. We encourage the submi= ssion of work in progress, as well as mature results. There are no proceedi= ngs, so work can be submitted even if it has been previously published, or = has been submitted for consideration elsewhere. There is no specific format= ting requirement, and no page limit, although for long submissions authors = should be aware that reviewers will not be able to read the entire document= in detail. Think creatively=E2=80=94you could submit a recent paper, draft= notes of a project in progress, or even a recent Masters or PhD thesis.

To indicate the meeting for which you would like you= r submission to be considered, append "(STRING)" or "(SYCO)&= quot; in the title field of the EasyChair submission page. If you would be = happy for it to be presented at either meeting, you may append both.
<= div>
If you have a submission which was deferred from a previ= ous SYCO meeting, it will not automatically be considered for SYCO 5; you s= till need to submit it again explicitly. Such a submission will be prioriti= sed for inclusion in the SYCO 5 programme. When submitting, append "(D= EFERRED FROM SYCO X)" to the title of your paper, replacing "X&qu= ot; with the appropriate meeting number. There is no need to attach any doc= uments.

--
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/3c2300ad-d43f-4af8-98e2-6a54d8c3bd6d%40googleg= roups.com.
For more options, visit http= s://groups.google.com/d/optout.
------=_Part_2206_1200348432.1560256481547-- ------=_Part_2205_725960237.1560256481547--