BEGIN:VCALENDAR VERSION:2.0 PRODID:ILLC Website X-WR-TIMEZONE:Europe/Amsterdam BEGIN:VTIMEZONE TZID:Europe/Amsterdam X-LIC-LOCATION:Europe/Amsterdam BEGIN:DAYLIGHT TZOFFSETFROM:+0100 TZOFFSETTO:+0200 TZNAME:CEST DTSTART:19700329T020000 RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=-1SU END:DAYLIGHT BEGIN:STANDARD TZOFFSETFROM:+0200 TZOFFSETTO:+0100 TZNAME:CET DTSTART:19701025T030000 RRULE:FREQ=YEARLY;BYMONTH=10;BYDAY=-1SU END:STANDARD END:VTIMEZONE BEGIN:VEVENT UID:/NewsandEvents/Archives/2017/newsitem/9187/8-- -9-September-2017-1st-Annual-Workshop-on-String-Di agrams-in-Computation-Logic-and-Physics-STRING-201 7-Oxford-England DTSTAMP:20170706T170536 SUMMARY:1st Annual Workshop on String Diagrams in Computation, Logic, and Physics (STRING 2017), Oxf ord, England DTSTART;VALUE=DATE:20170908 DTEND;VALUE=DATE:20170909 LOCATION:Oxford, England DESCRIPTION:String diagrams are a powerful tool fo r reasoning about processes and composition. Origi nally developed as a convenient notation for the a rrows of monoidal and higher categories, they are increasingly used in the formal study of digital c ircuits, control theory, concurrency, quantum and classical computation, natural language processes, logic and more. String diagrams combine the advan tages of formal syntax with intuitive aspects: the graphical nature of terms means that they often r eflect the topology of systems under consideration . Moreover, diagrammatic reasoning transforms form al arguments into dynamic, moving images, thus bui lding domain specific intuitions, valuable both fo r practitioners and pedagogy. This workshop aims to bring together researchers from diverse backgro unds and specialities to collaborate and share the ir insights, tools, and techniques. It will furthe rmore provide an informal atmosphere in a unique v enue: 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 pr ovide plenty of opportunities to discuss and share ideas. STRING 2017 is a satellite event of FSCD 2 017 and will be co-located with the 3rd Higher-Di mensional Rewriting and Applications. We warmly w elcome all types of contributions, ranging from wo rk-in-progress to original work and/or overviews o f mature work published elsewhere, on topics rangi ng from theory of string diagrams, to applications and tool demos. 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-len gth talk or give a short talk in a "lightning sess ion" style format. X-ALT-DESC;FMTTYPE=text/html:
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.
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.
\n\nWe wil l try to build a programme that is as inclusive an d wide-ranging as possible within the fairly limit ed time available. Hence, speakers will be invited either to give a full-length talk or give a short talk in a "lightning session" style for mat.