The GReTA – Graph TRansformation Theory and Applications virtual seminar series aims to serve as a platform for the international graph rewriting community, promote recent developments and trends in the field, and permit regular networking and interaction between members of this community. Seminars are held twice a month in the form of Zoom sessions (some of which will be live-streamed to YouTube).
Several options are available to receive regular updates on the GReTA seminars:
String diagrams are an elegant, convenient and powerful syntax for arrows of symmetric monoidal categories. In recent years, they have been used as compositional descriptions of computational systems from various fields, including quantum foundations, linear algebra, control theory, automata theory, concurrency theory, and even linguistics. All of these applications rely on diagrammatic reasoning, which is to string diagrams as equational reasoning is to ordinary terms.
If we are to take string …
This talk marks the beginning of GReTA-ExACT, a new online working group within the GReTA community. The aim of this working group will consist in providing an interdisciplinary forum for exploring the diverse aspects of applied category theory relevant in graph transformation systems and their generalizations, in developing a methodology for formalizing diagrammatic proofs as relevant in rewriting theories via proof assistants such as Coq, and in establishing a community-driven wiki system and …
The GReTA seminars are hosted via Zoom. For security reasons, participation in a given seminar requires a registration (via the link provided in the seminar announcement). Upon completing the registration form (asking for the name, affiliation, and email address), you will be sent a personalized Zoom meeting link. For convenience, sessions will be open 15 minutes before the beginning of the seminar.
Alternatively, if you prefer not to participate via Zoom, some seminars will be live-streamed to YouTube, where it will be possible to ask questions via the YouTube commenting functionality.
Each seminar will be hosted by a chairperson who will introduce the speaker, watch incoming questions and who will decide if and when to interrupt the speaker for questions, or which questions should be postponed to after the talk.
After each seminar, the main Zoom session will remain open for additional 30 minutes in order to allow for discussions and networking. Depending on the number of participants, it will be a possibility to gather into small breakout sessions as well.