<div dir="ltr"><div>--------------------------------------------------------------</div>CALL FOR PAPERS<br>EIGHTH SYMPOSIUM ON COMPOSITIONAL STRUCTURES (SYCO 8)<br><br>Tallinn University of Technology, Estonia<br>13-14 December 2021<br><br>Submission deadline:  Monday 25 October 2021 AoE.<br><br><a href="https://urldefense.com/v3/__https://www.cl.cam.ac.uk/events/syco/8/__;!!IBzWLUs!Ek0IGIxzYX5JYcsT9SPbec3OAfSvmCIH1ZangwAzUTt1_TeST1iNmoe3kIZbkbUeFlXT_eEgIKxZgg$" target="_blank">https://www.cl.cam.ac.uk/events/syco/8/</a><br>--------------------------------------------------------------<div><br>After a long break, SYCO is back!<br><br>The Symposium on Compositional Structures (SYCO) is an<br>interdisciplinary series of meetings aiming to support the growing<br>community of researchers interested in the phenomenon of<br>compositionality, from both applied and abstract perspectives, and in<br>particular where category theory serves as a unifying common language.<br>Previous SYCO events have been held at University of Birmingham,<br>University of Strathclyde, University of Oxford, Chapman University,<br>and University of Leicester.</div><div><br>We welcome submissions from researchers across computer science,<br>mathematics, physics, philosophy, and beyond, with the aim of<br>fostering friendly discussion, disseminating new ideas, and spreading<br>knowledge between fields. Submission is encouraged for both mature<br>research and work in progress, and by both established academics and<br>junior researchers, including students.</div><div><br></div><div>--------------------------------------------------------------<br></div><div>RESTART OF SYCO</div><div><br></div><div>The main aim of SYCO is to bring the community together and exchange</div><div>ideas across interdisciplinary fields. In-person contact facilitates this</div><div>in a way that online meetings cannot. This meant that unfortunately,</div><div>SYCO 7, the previous edition of SYCO, had to be cancelled. To restart</div><div>the series, SYCO 8 will take the following into account:</div><div><br></div><div>- Submissions that were accepted for SYCO 7 can be resubmitted for </div><div>SYCO 8, and will be given priority over other submissions.</div><div>These submissions will be treated as being deferred from SYCO 7,</div><div>see submission instructions below. <br><br></div><div>- Authors that had a submission accepted for SYCO can also submit </div><div>new material. These submissions will also be given priority over other</div><div>submissions, if accepted through peer-review.</div><div><br></div><div>SYCO 8 will be mainly an in-person event, and we expect that most</div><div>speakers will be physically present. However, we do support a hybrid</div><div>format, so if for some reason you cannot be present in person but would</div><div>still like to present your work at SYCO, please contact the programme</div><div>chair, Maaike Zwart (<a href="mailto:maaike.annebeth@gmail.com" target="_blank">maaike.annebeth@gmail.com</a>) </div><div><br>--------------------------------------------------------------<br>TOPICS OF INTEREST<br></div><div><br></div><div>While no list of topics could be exhaustive, SYCO welcomes submissions<br>with a compositional focus related to any of the following areas, in<br>particular from the perspective of category theory:<br><br>- logical methods in computer science, including classical and<br>quantum programming, type theory, concurrency, natural language<br>processing and machine learning;<br><br>- graphical calculi, including string diagrams, Petri nets and<br>reaction networks;<br><br>- languages and frameworks, including process algebras, proof nets,<br>type theory and game semantics;<br><br>- abstract algebra and pure category theory, including monoidal<br>category theory, higher category theory, operads, polygraphs, and<br>relationships to homotopy theory;<br><br>- quantum algebra, including quantum computation and representation<br>theory;<br><br>- tools and techniques, including rewriting, formal proofs and proof<br>assistants, and game theory;<br><br>- industrial applications, including case studies and real-world<br>problem descriptions.<br><br>--------------------------------------------------------------</div><div>IMPORTANT DATES<br><br>All deadlines are 23:59 Anywhere on Earth.<br><br>Submission deadline: Monday 25 October 2021<br>Author notification: Wednesday 3 November 2021<br>Symposium dates: Monday 13 and Tuesday 14 December 2021</div><div><br>--------------------------------------------------------------<br>SUBMISSION INSTRUCTIONS<br><br>Submissions are by EasyChair, via the SYCO 8 submission page:<br><a href="https://urldefense.com/v3/__https://easychair.org/conferences/?conf=syco8__;!!IBzWLUs!Ek0IGIxzYX5JYcsT9SPbec3OAfSvmCIH1ZangwAzUTt1_TeST1iNmoe3kIZbkbUeFlXT_eH_R1KIGA$" target="_blank">https://easychair.org/conferences/?conf=syco8</a><br><br>Submission is easy, with no format requirements or page restrictions.<br>The meeting does not have proceedings, so work can be submitted even<br>if it has been submitted or published elsewhere. Think creatively:<br>you could submit a recent paper, or notes on work in progress, or even<br>a recent Masters or PhD thesis.<br><br>In the event that more good-quality submissions are received than can<br>be accommodated in the timetable, the programme committee may choose<br>to *defer* some submissions to a future meeting, rather than reject<br>them. Deferred submissions can be re-submitted to any future SYCO<br>meeting, where they will not need peer review, and where they will be<br>prioritised for inclusion in the programme. Meetings will be held<br>sufficiently frequently to avoid a backlog of deferred papers.<br><br>If you have a submission which was deferred from a previous SYCO<br>meeting, it will not automatically be considered for SYCO 8; you still<br>need to submit it again through EasyChair. When submitting, append the<br>words "DEFERRED FROM SYCO X" to the title of your paper, replacing "X"<br>with the appropriate meeting number. There is no need to attach any<br>documents.<br><br>--------------------------------------------------------------<br>PROGRAMME COMMITTEE<br><br></div><div>Ross Duncan, University of Strathclyde<br>Alexandre Goy, MICS, CentraleSupélec</div><div>Amar Hadzihasanovic, Tallinn University of Technology (local organiser)<br>Jules Hedges, University of Strathclyde<br>Chris Heunen, University of Edinburgh<br>Aleks Kissinger, University of Oxford<br>Jade Master, University of Strathclyde<br>Dan Marsden, University of Oxford<br>Hector Miller-Bakewell<br>Samuel Mimram, École Polytechnique</div><div>Koko Muroya, Kyoto University<br>Simona Paoli, University of Aberdeen<br>Mehrnoosh Sadrzadeh, University College London<br>Maru Sarazola, Johns Hopkins University<br>Pawel Sobocinski, Tallinn University of Technology  (local organiser)<br>Jamie Vicary, University of Cambridge<br>Maaike Zwart, IT University of Copenhagen (chair)</div><div><br></div><div>--------------------------------------------------------------<br></div><div>STEERING COMMITTEE</div><div><br></div><div>Ross Duncan, University of Strathclyde<br>Chris Heunen, University of Edinburgh<br>Dominic Horsman, University of Oxford<br>Aleks Kissinger, University of Oxford<br>Samuel Mimram, École Polytechnique</div><div>Simona Paoli, University of Aberdeen<br>Mehrnoosh Sadrzadeh, University College London<br>Pawel Sobocinski, Tallinn University of Technology<br>Jamie Vicary, University of Cambridge</div></div>