ResearchBib Share Your Research, Maximize Your Social Impacts
Sign for Notice Everyday Sign up >> Login

STRINGS 2020 - 4th Workshop on String Diagrams in Computation, Logic and Physics

Date2020-06-22 - 2020-06-26

Deadline2020-05-04

VenueBergen, Norway Norway

Keywords

Websitehttps://staf2020.hvl.no

Topics/Call fo Papers

String diagrams are a powerful tool for reasoning about processes and composition, which are becoming increasingly applied in the formal study of digital circuits, control theory, concurrency, quantum and classical computation, natural language processes, and more. This workshop aims to bring together researchers applying string diagrams in a variety of fields to collaborate and share new insights, tools, and techniques.

Last modified: 2020-02-21 21:15:24