Skip to the Main Content

Note:These pages make extensive use of the latest XHTML and CSS Standards. They ought to look great in any standards-compliant modern browser. Unfortunately, they will probably look horrible in older browsers, like Netscape 4.x and IE 4.x. Moreover, many posts use MathML, which is, currently only supported in Mozilla. My best suggestion (and you will thank me when surfing an ever-increasing number of sites on the web which have been crafted to use the new standards) is to upgrade to the latest version of your browser. If that's not possible, consider moving to the Standards-compliant and open-source Mozilla browser.

March 2, 2020

String Diagrams in Computation, Logic, and Physics

Posted by John Baez

A workshop:

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)
Posted at March 2, 2020 8:10 PM UTC

TrackBack URL for this Entry:   https://golem.ph.utexas.edu/cgi-bin/MT-3.0/dxy-tb.fcgi/3200



2 Comments & 0 Trackbacks

“Strings 2020”

Not to be confused with Strings 2020.

Posted by: Allen Knutson on March 3, 2020 3:41 AM | Permalink | Reply to this

Re: “Strings 2020”

Yes, it’s pretty cheeky for the string diagram conference to call themselves STRINGS 2020 when they’re dealing with 1-dimensional worldlines instead of 2-dimensional worldsheets!

Posted by: John Baez on March 3, 2020 4:46 AM | Permalink | Reply to this

Post a New Comment