CALL FOR PAPERS 4th Annual Workshop on String Diagrams in Computation, Logic, and Physics (STRINGS 2020) https://compose.ioc.ee/strings2020/ Satellite workshop of STAF 2020 Bergen, Norway, 23 June 2020 ============================================= 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. Invited Speaker ---------------- Fabio Zanasi, UCL Important Dates --------------- Submission deadline: 1 May 2020 Speaker notification: 22 May 2020 Workshop: 23 June 2020 Submission information ---------------------- Prospective speakers are invited to submit a title and short abstract via the Easychair page at https://easychair.org/conferences/?conf=strings2020 We warmly welcome all types of contributions, ranging from rough works-in-progress to talks about mature work published elsewhere. Programme Committee ------------------- Filippo Bonchi (Pisa, IT) Brendan Fong (MIT, US) Dan Ghica (Birmingham, UK) Dominic Horsman (Grenoble, FR) Jean Krivine (IRIF Paris, FR) Dan Marsden (Oxford, UK) Mehrnoosh Sadrzadeh (UCL, UK) Pawel Sobocinski (Taltech, EE) [For admin and other information see: http://www.mta.ca/~cat-dist/ ]