String di agrams are a powerful tool for reasoning about pro cesses 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 theo ry, concurrency, quantum and classical computation , natural language processes, logic and more. Stri ng diagrams combine the advantages of formal synta x with intuitive aspects: the graphical nature of terms means that they often reflect the topology o f systems under consideration. Moreover, diagramma tic reasoning transforms formal arguments into dyn amic, moving images, thus building domain specific intuitions, valuable both for practitioners and p edagogy.
\n\nThis workshop aims to bring t ogether researchers from diverse backgrounds and s pecialities to collaborate and share their insight s, tools, and techniques. It will furthermore prov ide an informal atmosphere in a unique venue: the upstairs of the Jericho Tavern, a music venue, whe re famously Radiohead played their first concert. All the usual conference facilities will be provid ed, and the distinctive location will provide plen ty of opportunities to discuss and share ideas. ST RING 2017 is a satellite event of FSCD 2017 and will be co-located with the 3rd Higher-Dimensi onal Rewriting and Applications.
\nWe warmly welcome all types of contributions , ranging from work-in-progress to original work a nd/or overviews of mature work published elsewhere , on topics ranging from theory of string diagrams , to applications and tool demos.
\n\nWe w ill try to build a programme that is as inclusive and wide-ranging as possible within the fairly lim ited time available. Hence, speakers will be invit ed either to give a full-length talk or give a sho rt talk in a "lightning session" style f ormat.
\n