<div dir="ltr">--------------------------------------------------------------<br>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><a href="https://urldefense.com/v3/__https://www.cl.cam.ac.uk/events/syco/8/__;!!IBzWLUs!HphgkclMgwZkryyQdsX4Kv9qwSVvFZJhaTXBYGi0DR1rSK5gxoC1EJGHOq7knD-QJaNuwP_fr6mngA$">https://www.cl.cam.ac.uk/events/syco/8/</a><br>--------------------------------------------------------------<br><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.<br><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.<br><br>--------------------------------------------------------------<br>RESTART OF SYCO<br><br>The main aim of SYCO is to bring the community together and exchange<br>ideas across interdisciplinary fields. In-person contact facilitates this<br>in a way that online meetings cannot. This meant that unfortunately,<br>SYCO 7, the previous edition of SYCO, had to be cancelled. To restart<br>the series, SYCO 8 will take the following into account:<br><br>- Submissions that were accepted for SYCO 7 can be resubmitted for <br>SYCO 8, and will be given priority over other submissions.<br>These submissions will be treated as being deferred from SYCO 7,<br>see submission instructions below. <br><br>- Authors that had a submission accepted for SYCO can also submit <br>new material. These submissions will also be given priority over other<br>submissions, if accepted through peer-review.<br><br>SYCO 8 will be mainly an in-person event, and we expect that most<br>speakers will be physically present. However, we do support a hybrid<br>format, so if for some reason you cannot be present in person but would<br>still like to present your work at SYCO, please contact the programme<br>chair, Maaike Zwart (<a href="mailto:maaike.annebeth@gmail.com">maaike.annebeth@gmail.com</a>) <br><br>--------------------------------------------------------------<br>TOPICS OF INTEREST<br><br>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>--------------------------------------------------------------<br>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<br><br>--------------------------------------------------------------<br>SUBMISSION INSTRUCTIONS<br><br>Submission are by EasyChair, via the SYCO 8 submission page:<br><a href="https://urldefense.com/v3/__https://easychair.org/conferences/?conf=syco8__;!!IBzWLUs!HphgkclMgwZkryyQdsX4Kv9qwSVvFZJhaTXBYGi0DR1rSK5gxoC1EJGHOq7knD-QJaNuwP_-tkOGMw$">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>TBA<br><br>Chair: <br>Maaike Zwart, IT University of Copenhagen<br><br>Local organisers:<br>Amar Hadzihasanovic, Tallinn University of Technology<br>Pawel Sobocinski, Tallinn University of Technology<br><br>--------------------------------------------------------------<br>STEERING COMMITTEE<br><br>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<br>Simona Paoli, University of Aberdeen<br>Mehrnoosh Sadrzadeh, University College London<br>Pawel Sobocinski, Tallinn University of Technology<br>Jamie Vicary, University of Cambridge<br></div>