Third Workshop on String Diagrams in Computation, Logic and Physics (STRINGS 3)

and the

Fifth Symposium on Compositional Structures (SYCO 5)

University of Birmingham, UK
4-6 September 2019

This event, hosted in the School of Computer Science at the University of Birmingham, brings together two complementary workshops for a 3-day event.

Introduction to STRINGS

String diagrams are a powerful tool for reasoning about processes and composition, which are becoming increasingly applied in the formal study of digital circuits, control theory, concurrency, quantum and classical computation, natural language processes, and more. This workshop aims to bring together researchers applying string diagrams in a variety of fields to collaborate and share new insights, tools, and techniques.

Previous instances of this workshop were held in Oxford 2017 and Shonan 2018.

Introduction to SYCO

The Symposium on Compositional Structures is a new 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. 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.

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. You could submit work-in-progress, or a recently completed 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:

This new series aims to bring together the communities behind many previous successful events which have taken place over the last decade, including Categories, Logic and Physics, Categories, Logic and Physics (Scotland), Higher-Dimensional Rewriting and Applications, String Diagrams in Computational, Logic and Physics, Applied Category Theory, Simons Workshop on Compositionality, the Yorkshire and Midlands Category Theory Seminar, and the Peripatetic Seminar in Sheaves and Logic.

This event follows SYCO 1 in Birmingham, SYCO 2 in Strathclyde, SYCO 3 in Oxford, and SYCO 4 in Orange, California.

Invited speakers

Important dates

All deadlines are 23:59 anywhere-on-earth on the given dates.

Schedule

SYCO will take place on Wednesday 4 September and the morning of Thursday 5 September. STRINGS will take place on the afternoon of Thursday 5 September and all day on Friday 6 September.

Local information

To be announced.

Submissions

Submission is now open at the following EasyChair page:

Submissions should present research results in sufficient detail to allow them to be properly considered. We encourage the submission of work in progress, as well as mature results. There are no proceedings, so work can be submitted even if it has been previously published, or has been submitted for consideration elsewhere. There is no specific formatting 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—you 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 your submission to be considered, append "(STRING)" or "(SYCO)" 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.

If you have a submission which was deferred from a previous SYCO meeting, it will not automatically be considered for SYCO 5; you still need to submit it again explicitly. Such a submission will be prioritised for inclusion in the SYCO 5 programme. When submitting, append "(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.

Travel support

Some travel funding will be available to cover travel and subsistence costs, with a priority for students and junior researchers.

Programme committee

Steering committees

STRING is managed by Dan R. Ghica, Aleks Kissinger, and Pawel Sobocinski.

SYCO is managed by the following people. If you have a general question about SYCO, or if you want to propose to host a future version, please get in touch with a member of the steering committee.