
<html>

<head>

<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1">

</head>

<body>

<div style="color: rgb(33, 33, 33); background-color: rgb(255, 255, 255);" dir="auto">

<span style="font-family: -apple-system, HelveticaNeue; display: inline !important;">-----------------------------------------</span><br style="font-family: -apple-system, HelveticaNeue;">

</div>

<div style="color: rgb(33, 33, 33); background-color: rgb(255, 255, 255);" dir="auto">

<span style="font-family: -apple-system, HelveticaNeue; display: inline !important;">CALL FOR SUBMISSIONS</span><br style="font-family: -apple-system, HelveticaNeue;">

<span style="font-family: -apple-system, HelveticaNeue; display: inline !important;">NINTH SYMPOSIUM ON COMPOSITIONAL STRUCTURES (SYCO 9)</span><br style="font-family: -apple-system, HelveticaNeue;">

<br style="font-family: -apple-system, HelveticaNeue;">

<span style="font-family: -apple-system, HelveticaNeue; display: inline !important;">Como, Italy</span><br style="font-family: -apple-system, HelveticaNeue;">

<span style="font-family: -apple-system, HelveticaNeue; display: inline !important;">8-9 September 2022</span><br style="font-family: -apple-system, HelveticaNeue;">

<br style="font-family: -apple-system, HelveticaNeue;">

<div style="font-family: -apple-system, HelveticaNeue;" dir="auto">Submission deadline:  Monday 1 August 2022</div>

<div style="font-family: -apple-system, HelveticaNeue;" dir="auto"><a href="https://urldefense.com/v3/__https://www.cl.cam.ac.uk/events/syco/9/__;!!IBzWLUs!T-F-_78bAgRSUbYL6H-0HR_BwqVlecO30oJh5K-zZJQsdyidzpJUP9ylDdaFr0bLLeSF_jwa056Q1ztA133J3q5Gm_E5QAeAs9U$" target="_blank" style="">https://www.cl.cam.ac.uk/events/syco/9/</a></div>

<span style="font-family: -apple-system, HelveticaNeue; display: inline !important;">-----------------------------------------</span><br style="font-family: -apple-system, HelveticaNeue;">

<br style="font-family: -apple-system, HelveticaNeue;">

<span style="font-family: -apple-system, HelveticaNeue; display: inline !important;">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. Previous SYCO events have been held in Birmingham, Strathclyde, Oxford, Chapman, Leicester and Tallinn.</span><br style="font-family: -apple-system, HelveticaNeue;">

<br style="font-family: -apple-system, HelveticaNeue;">

<span style="font-family: -apple-system, HelveticaNeue; display: inline !important;">We welcome submissions from researchers across computer science,</span><br style="font-family: -apple-system, HelveticaNeue;">

<span style="font-family: -apple-system, HelveticaNeue; display: inline !important;">mathematics, physics, philosophy, and beyond, with the aim of</span><br style="font-family: -apple-system, HelveticaNeue;">

<span style="font-family: -apple-system, HelveticaNeue; display: inline !important;">fostering friendly discussion, disseminating new ideas, and spreading</span><br style="font-family: -apple-system, HelveticaNeue;">

<span style="font-family: -apple-system, HelveticaNeue; display: inline !important;">knowledge between fields. Submission is encouraged for both mature</span><br style="font-family: -apple-system, HelveticaNeue;">

<span style="font-family: -apple-system, HelveticaNeue; display: inline !important;">research and work in progress, and by both established academics and</span><br style="font-family: -apple-system, HelveticaNeue;">

<span style="font-family: -apple-system, HelveticaNeue; display: inline !important;">junior researchers, including students. Submissions is easy, with no formatting or page restrictions. 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 thesis.</span><br style="font-family: -apple-system, HelveticaNeue;">

<br style="font-family: -apple-system, HelveticaNeue;">

<span style="font-family: -apple-system, HelveticaNeue; display: inline !important;">While no list of topics could be exhaustive, SYCO welcomes submissions</span><br style="font-family: -apple-system, HelveticaNeue;">

<span style="font-family: -apple-system, HelveticaNeue; display: inline !important;">with a compositional focus related to any of the following areas, in</span><br style="font-family: -apple-system, HelveticaNeue;">

<span style="font-family: -apple-system, HelveticaNeue; display: inline !important;">particular from the perspective of category theory:</span><br style="font-family: -apple-system, HelveticaNeue;">

<br style="font-family: -apple-system, HelveticaNeue;">

<span style="font-family: -apple-system, HelveticaNeue; display: inline !important;">- logical methods in computer science, including classical and</span><br style="font-family: -apple-system, HelveticaNeue;">

<span style="font-family: -apple-system, HelveticaNeue; display: inline !important;">quantum programming, type theory, concurrency, natural language</span><br style="font-family: -apple-system, HelveticaNeue;">

<span style="font-family: -apple-system, HelveticaNeue; display: inline !important;">processing and machine learning;</span><br style="font-family: -apple-system, HelveticaNeue;">

<span style="font-family: -apple-system, HelveticaNeue; display: inline !important;">- graphical calculi, including string diagrams, Petri nets and</span><br style="font-family: -apple-system, HelveticaNeue;">

<span style="font-family: -apple-system, HelveticaNeue; display: inline !important;">reaction networks;</span><br style="font-family: -apple-system, HelveticaNeue;">

<span style="font-family: -apple-system, HelveticaNeue; display: inline !important;">- languages and frameworks, including process algebras, proof nets,</span><br style="font-family: -apple-system, HelveticaNeue;">

<span style="font-family: -apple-system, HelveticaNeue; display: inline !important;">type theory and game semantics;</span><br style="font-family: -apple-system, HelveticaNeue;">

<span style="font-family: -apple-system, HelveticaNeue; display: inline !important;">- abstract algebra and pure category theory, including monoidal</span><br style="font-family: -apple-system, HelveticaNeue;">

<span style="font-family: -apple-system, HelveticaNeue; display: inline !important;">category theory, higher category theory, operads, polygraphs, and</span><br style="font-family: -apple-system, HelveticaNeue;">

<span style="font-family: -apple-system, HelveticaNeue; display: inline !important;">relationships to homotopy theory;</span><br style="font-family: -apple-system, HelveticaNeue;">

<span style="font-family: -apple-system, HelveticaNeue; display: inline !important;">- quantum algebra, including quantum computation and representation</span><br style="font-family: -apple-system, HelveticaNeue;">

<span style="font-family: -apple-system, HelveticaNeue; display: inline !important;">theory;</span><br style="font-family: -apple-system, HelveticaNeue;">

<span style="font-family: -apple-system, HelveticaNeue; display: inline !important;">- tools and techniques, including rewriting, formal proofs and proof</span><br style="font-family: -apple-system, HelveticaNeue;">

<span style="font-family: -apple-system, HelveticaNeue; display: inline !important;">assistants, and game theory;</span><br style="font-family: -apple-system, HelveticaNeue;">

<span style="font-family: -apple-system, HelveticaNeue; display: inline !important;">- industrial applications, including case studies and real-world</span><br style="font-family: -apple-system, HelveticaNeue;">

<span style="font-family: -apple-system, HelveticaNeue; display: inline !important;">problem descriptions.</span><br style="font-family: -apple-system, HelveticaNeue;">

<br style="font-family: -apple-system, HelveticaNeue;">

<span style="font-family: -apple-system, HelveticaNeue; display: inline !important;">** IMPORTANT DATES **</span><br style="font-family: -apple-system, HelveticaNeue;">

<br style="font-family: -apple-system, HelveticaNeue;">

<span style="font-family: -apple-system, HelveticaNeue; display: inline !important;">All deadlines are 23:59 Anywhere on Earth.</span><br style="font-family: -apple-system, HelveticaNeue;">

<br style="font-family: -apple-system, HelveticaNeue;">

<span style="font-family: -apple-system, HelveticaNeue; display: inline !important;">Submission deadline: Monday 1 August</span><br style="font-family: -apple-system, HelveticaNeue;">

<span style="font-family: -apple-system, HelveticaNeue; display: inline !important;">Author notification: Monday 8 August 2022</span><br style="font-family: -apple-system, HelveticaNeue;">

<span style="font-family: -apple-system, HelveticaNeue; display: inline !important;">Symposium dates: Thursday 8 and Friday 9 September 2022</span><br style="font-family: -apple-system, HelveticaNeue;">

<br style="font-family: -apple-system, HelveticaNeue;">

<span style="font-family: -apple-system, HelveticaNeue; display: inline !important;">** SUBMISSION INSTRUCTIONS **</span><br style="font-family: -apple-system, HelveticaNeue;">

<br style="font-family: -apple-system, HelveticaNeue;">

<span style="font-family: -apple-system, HelveticaNeue; display: inline !important;">Submissions are by EasyChair, via the SYCO 9 submission page:</span><br style="font-family: -apple-system, HelveticaNeue;">

<a href="https://urldefense.com/v3/__https://easychair.org/my/conference?conf=syco9__;!!IBzWLUs!T-F-_78bAgRSUbYL6H-0HR_BwqVlecO30oJh5K-zZJQsdyidzpJUP9ylDdaFr0bLLeSF_jwa056Q1ztA133J3q5Gm_E5m2fsufo$" rel="noopener noreferrer" target="_blank" style="font-family: -apple-system, HelveticaNeue;">https://easychair.org/my/conference?conf=syco9</a><br style="font-family: -apple-system, HelveticaNeue;">

<br style="font-family: -apple-system, HelveticaNeue;">

<span style="font-family: -apple-system, HelveticaNeue; display: inline !important;">Submission is easy, with no format requirements or page restrictions.</span><br style="font-family: -apple-system, HelveticaNeue;">

<span style="font-family: -apple-system, HelveticaNeue; display: inline !important;">The meeting does not have proceedings, so work can be submitted even</span><br style="font-family: -apple-system, HelveticaNeue;">

<span style="font-family: -apple-system, HelveticaNeue; display: inline !important;">if it has been submitted or published elsewhere. Think creatively:</span><br style="font-family: -apple-system, HelveticaNeue;">

<span style="font-family: -apple-system, HelveticaNeue; display: inline !important;">you could submit a recent paper, or notes on work in progress, or even</span><br style="font-family: -apple-system, HelveticaNeue;">

<span style="font-family: -apple-system, HelveticaNeue; display: inline !important;">a recent Masters or PhD thesis.</span><br style="font-family: -apple-system, HelveticaNeue;">

<br style="font-family: -apple-system, HelveticaNeue;">

<span style="font-family: -apple-system, HelveticaNeue; display: inline !important;">In the event that more good-quality submissions are received than can</span><br style="font-family: -apple-system, HelveticaNeue;">

<span style="font-family: -apple-system, HelveticaNeue; display: inline !important;">be accommodated in the timetable, the programme committee may choose</span><br style="font-family: -apple-system, HelveticaNeue;">

<span style="font-family: -apple-system, HelveticaNeue; display: inline !important;">to *defer* some submissions to a future meeting, rather than reject</span><br style="font-family: -apple-system, HelveticaNeue;">

<span style="font-family: -apple-system, HelveticaNeue; display: inline !important;">them. Deferred submissions can be re-submitted to any future SYCO</span><br style="font-family: -apple-system, HelveticaNeue;">

<span style="font-family: -apple-system, HelveticaNeue; display: inline !important;">meeting, where they will not need peer review, and where they will be</span><br style="font-family: -apple-system, HelveticaNeue;">

<span style="font-family: -apple-system, HelveticaNeue; display: inline !important;">prioritised for inclusion in the programme. Meetings will be held</span><br style="font-family: -apple-system, HelveticaNeue;">

<span style="font-family: -apple-system, HelveticaNeue; display: inline !important;">sufficiently frequently to avoid a backlog of deferred papers.</span><br style="font-family: -apple-system, HelveticaNeue;">

<br style="font-family: -apple-system, HelveticaNeue;">

<span style="font-family: -apple-system, HelveticaNeue; display: inline !important;">If you have a submission which was deferred from a previous SYCO</span><br style="font-family: -apple-system, HelveticaNeue;">

<span style="font-family: -apple-system, HelveticaNeue; display: inline !important;">meeting, it will not automatically be considered for SYCO 9; you still</span><br style="font-family: -apple-system, HelveticaNeue;">

<span style="font-family: -apple-system, HelveticaNeue; display: inline !important;">need to submit it again through EasyChair. When submitting, append the</span><br style="font-family: -apple-system, HelveticaNeue;">

<span style="font-family: -apple-system, HelveticaNeue; display: inline !important;">words "DEFERRED FROM SYCO X" to the title of your paper, replacing "X"</span><br style="font-family: -apple-system, HelveticaNeue;">

<span style="font-family: -apple-system, HelveticaNeue; display: inline !important;">with the appropriate meeting number. There is no need to attach any</span><br style="font-family: -apple-system, HelveticaNeue;">

<span style="font-family: -apple-system, HelveticaNeue; display: inline !important;">documents.</span><br style="font-family: -apple-system, HelveticaNeue;">

<br style="font-family: -apple-system, HelveticaNeue;">

<span style="font-family: -apple-system, HelveticaNeue; display: inline !important;">** PROGRAMME COMMITTEE **</span><br style="font-family: -apple-system, HelveticaNeue;">

<br style="font-family: -apple-system, HelveticaNeue;">

<span dir="auto" style="color: rgb(33, 33, 33);">Robin Cockett, University of Calgary</span>

<div dir="auto" style="color: rgb(33, 33, 33);">Elena Di Lavore, Tallinn University of Technology</div>

<div dir="auto" style="color: rgb(33, 33, 33);">Ross Duncan, University of Strathclyde</div>

<div dir="auto" style="color: rgb(33, 33, 33);">Robert Furber, University of Edinburgh</div>

<div dir="auto" style="color: rgb(33, 33, 33);">Amar Hadzihasanovic, Tallinn University of Technology</div>

<div dir="auto" style="color: rgb(33, 33, 33);">Chris Heunen, University of Edinburgh</div>

<div dir="auto" style="color: rgb(33, 33, 33);">Alex Kissinger, University of Oxford</div>

<div dir="auto" style="color: rgb(33, 33, 33);">Martha Lewis, University of Bristol</div>

<div dir="auto" style="color: rgb(33, 33, 33);">Jade Master, University of Strathclyde</div>

<div dir="auto" style="color: rgb(33, 33, 33);">Konstantinos Meichanetzidis, University of Leeds</div>

<div dir="auto" style="color: rgb(33, 33, 33);">Samuel Mimram, �cole Polytechnique</div>

<div dir="auto" style="color: rgb(33, 33, 33);">Simona Paoli, University of Aberdeen</div>

<div dir="auto" style="color: rgb(33, 33, 33);">Mehrnoosh Sadrzadeh, University College London</div>

<span dir="auto" style="color: rgb(33, 33, 33);">Pawel Sobocinski<span style="font-size:12pt">, Tallinn University of Technology</span></span></div>

<div style="color: rgb(33, 33, 33); background-color: rgb(255, 255, 255);" dir="auto">

<span dir="auto" style="color: rgb(33, 33, 33);"><span style="font-size:12pt"><br>

</span></span></div>

<div style="color: rgb(33, 33, 33); background-color: rgb(255, 255, 255);" dir="auto">

<span style="color: rgb(33, 33, 33); font-family: -apple-system, HelveticaNeue; display: inline !important;">The PC chair is John van de Wetering, Radboud University. </span><br style="font-family: -apple-system, HelveticaNeue;">

<br style="font-family: -apple-system, HelveticaNeue;">

<span style="font-family: -apple-system, HelveticaNeue; display: inline !important;">** STEERING COMMITTEE **</span><br style="font-family: -apple-system, HelveticaNeue;">

<br style="font-family: -apple-system, HelveticaNeue;">

<span style="font-family: -apple-system, HelveticaNeue; display: inline !important;">Ross Duncan, University of Strathclyde</span><br style="font-family: -apple-system, HelveticaNeue;">

<span style="font-family: -apple-system, HelveticaNeue; display: inline !important;">Chris Heunen, University of Edinburgh</span><br style="font-family: -apple-system, HelveticaNeue;">

<span style="font-family: -apple-system, HelveticaNeue; display: inline !important;">Dominic Horsman, University of Oxford</span><br style="font-family: -apple-system, HelveticaNeue;">

<span style="font-family: -apple-system, HelveticaNeue; display: inline !important;">Aleks Kissinger, University of Oxford</span><br style="font-family: -apple-system, HelveticaNeue;">

<span style="font-family: -apple-system, HelveticaNeue; display: inline !important;">Samuel Mimram, �cole Polytechnique</span><br style="font-family: -apple-system, HelveticaNeue;">

<span style="font-family: -apple-system, HelveticaNeue; display: inline !important;">Simona Paoli, University of Aberdeen</span><br style="font-family: -apple-system, HelveticaNeue;">

<span style="font-family: -apple-system, HelveticaNeue; display: inline !important;">Mehrnoosh Sadrzadeh, University College London</span><br style="font-family: -apple-system, HelveticaNeue;">

<span style="font-family: -apple-system, HelveticaNeue; display: inline !important;">Pawel Sobocinski, Tallinn University of Technology</span><br style="font-family: -apple-system, HelveticaNeue;">

<span style="font-family: -apple-system, HelveticaNeue; display: inline !important;">Jamie Vicary, University of Cambridge</span><br>

</div>

</body>

</html>