STRINGS 2020 - 4th Workshop on String Diagrams in Computation, Logic and Physics
Date2020-06-22 - 2020-06-26
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