=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
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.