String diagrams are a powerful tool for reasoning about processes and composition. Originally developed as a convenient notation for the arrows of monoidal and higher categories, they are increasingly used in the formal study of digital circuits, control theory, concurrency, programming languages, quantum and classical computation, natural language, logic and more. String diagrams combine the advantages of formal syntax with intuitive aspects: the graphical nature of terms means that they often reflect the topology of systems under consideration. Moreover, diagrammatic reasoning transforms formal arguments into dynamic, moving images, thus building domain specific intuitions, valuable both for practitioners and pedagogy.
This workshop aims to bring together researchers from diverse backgrounds and specialities to collaborate and share their insights, tools, and techniques. STRINGS 2020 is a satellite event of STAF 2020, colocated with a number of related events, including Diagrammatic and Algebraic Methods for Business (DAMB) and the International Conference on Graph Transformation (ICGT).
This is the fourth edition of the workshop. The first was held in Oxford in 2017, the second as a Shonan workshop in 2018, the third in Birmingham in 2019.
- Submission deadline:1 May 2020
- Speaker notification:22 May 2020
- Workshop:23 June 2020
Submission of abstracts ⇮
Prospective speakers are invited to submit a title and short abstract via the Easychair page.
We warmly welcome all types of contributions, ranging from rough works-in-progress to talks about mature work published elsewhere.
Invited Speaker ⇮
- Speaker: Fabio Zanasi (UCL)
Programme Comittee ⇮
- Filippo Bonchi (Pisa, IT)
- Brendan Fong (MIT, US)
- Dan Ghica (Birmingham, UK, chair)
- Dom Horsman (Grenoble, FR)
- Aleks Kissinger (Oxford, UK)
- Jean Krivine (IRIF Paris, FR)
- Dan Marsden (Oxford, UK)
- Koko Muroya (Kyoto, JP)
- Mehrnoosh Sadrzadeh (UCL, UK)
- Pawel Sobocinski (Taltech, EE, chair)