8-9 Sep 2017
Oxford, England
============================================= CALL FOR PAPERS 1st Annual Workshop on String Diagrams in Computation, Logic, and Physics (STRING 2017) http://string2017.cs.ru.nl/index.html Satellite workshop of FSCD 2017, co-located with HDRA 2017. Jericho Tavern, Oxford, UK September 8-9, 2017 ============================================= 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, quantum and classical computation, natural language processes, 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. It will furthermore provide an informal atmosphere in a unique venue: the upstairs of the Jericho Tavern, a music venue, where famously Radiohead played their first concert. All the usual conference facilities will be provided, and the distinctive location will provide plenty of opportunities to discuss and share ideas. STRING 2017 is a satellite event of FSCD 2017 (http://www.cs.ox.ac.uk/conferences/fscd2017/) and will be co-located with the 3rd Higher-Dimensional Rewriting and Applications (http://hdra.gforge.inria.fr). Invited Speakers ---------------- - Paul-André Mèllies (CNRS and Paris Diderot) - joint HDRA and STRING invited speaker - Dan Ghica (Birmingham) - Applications of string diagrams in circuit design and verification - Bob Coecke (Oxford) - Applications of string diagrams in quantum foundations and quantum computation Submitting ---------- We warmly welcome all types of contributions, ranging from work-in-progress to original work and/or overviews of mature work published elsewhere, on topics ranging from theory of string diagrams, to applications and tool demos. Prospective speakers are invited to submit a title and 2 page abstract via the Easychair page at https://easychair.org/conferences/?conf=string2017 We will try to build a programme that is as inclusive and wide-ranging as possible within the fairly limited time available. Hence, speakers will be invited either to give a full-length talk or give a short talk in a "lightning session" style format. The accepted abstracts will be made available electronically before the workshop. Important Dates --------------- Abstract deadline: 30 June 2017 Speaker notification: 14 July 2017 Workshop: 8-9 September 2017 Program Committee ----------------- * Filippo Bonchi (ENS Lyon) * Ross Duncan (Strathclyde) * Fabio Gadducci (Pisa) * Aleks Kissinger (Radboud) * Dan Marsden (Oxford) * Mehrnoosh Sadrzadeh (Queen Mary) * Pawel Sobocinski (Southampton) * David Spivak (MIT) * Noam Zeilberger (Birmingham) Organisers ---------- * Aleks Kissinger - Radboud Universiteit * Pawel Sobocinski - University of Southampton Publicity --------- * Joshua Holland - University of Southampton -- [LOGIC] mailing list http://www.dvmlg.de/mailingliste.html Archive: http://www.illc.uva.nl/LogicList/ provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam