From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/10440 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: "Heckel, Reiko (Prof.)" Newsgroups: gmane.science.mathematics.categories Subject: FW: Invitation: GReTA online seminar, April 9 at 15:00 CEST Date: Mon, 29 Mar 2021 19:46:10 +0000 Message-ID: Reply-To: "Heckel, Reiko (Prof.)" Content-Type: text/plain; charset="Windows-1252" Content-Transfer-Encoding: quoted-printable Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="35821"; mail-complaints-to="usenet@ciao.gmane.io" To: "categories@mta.ca" Original-X-From: majordomo@rr.mta.ca Mon Mar 29 22:44:08 2021 Return-path: Envelope-to: gsmc-categories@m.gmane-mx.org Original-Received: from smtp2.mta.ca ([198.164.44.75]) by ciao.gmane.io with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1lQyk3-00099e-98 for gsmc-categories@m.gmane-mx.org; Mon, 29 Mar 2021 22:44:07 +0200 Original-Received: from rr.mta.ca ([198.164.44.159]:50528) by smtp2.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1lQyi1-0005tU-Vj; Mon, 29 Mar 2021 17:42:01 -0300 Original-Received: from majordomo by rr.mta.ca with local (Exim 4.92.1) (envelope-from ) id 1lQygC-0000SF-BV for categories-list@rr.mta.ca; Mon, 29 Mar 2021 17:40:08 -0300 Accept-Language: en-GB, en-US Content-Language: en-GB Precedence: bulk Xref: news.gmane.io gmane.science.mathematics.categories:10440 Archived-At: Another very interesting seminar next Friday, on Hypergraph Rewriting and t= he Wolfram Model by Jonathan Gorard. Best wishes Reiko On 29/03/2021, 19:22, "GReTA Seminar organisers" wrote: Dear colleagues, It is our great pleasure to invite you to the next seminar of the =93GReTA = - Graph Transformation Theory and Applications=94 series: Friday, April 9, 15:00 CEST =93Hypergraph Rewriting and the Wolfram Model=94, J. Gorard (abstract: see attached) Please refer to http://www.irif.fr/~greta for further i= nformation on how to register for this Zoom meeting, or alternatively on ho= w to attend the meeting via a YouTube live stream! The GReTA seminar series aims to serve as a platform for the international = graph rewriting community, to promote recent developments and trends in the= field, and to permit a regular networking and interaction between members = of this community. Seminars are scheduled twice a month (cf. https://www.ir= if.fr/~greta/#talks for a list of upcom= ing events). With best regards, Nicolas Behr, Jean Krivine and Reiko Heckel (GReTA organisers) ___________________________________________________ Date and time: Friday, April 9, 15:00 CEST Title: Hypergraph Rewriting and the Wolfram Model Speaker: Jonathan Gorard (University of Cambridge and Wolfram Research, UK) Abstract: This talk will summarize some recent results obtained in connection with th= e Wolfram Physics Project: a systematic attempt to reduce fundamental physi= cs to the problem of hypergraph rewriting. Specifically, we will discuss th= e construction of an efficient hypergraph rewriting scheme using the formal= ism of Wolfram model multiway systems, with a categorical semantics defined= via double-pushout rewrites over selective adhesive categories, and equipp= ed with a dagger-symmetric monoidal structure that exhibits surprising form= al connections to categorical quantum mechanics. We will also demonstrate t= hat, by equipping such a multiway system with an additional notion of causa= l structure (defined via the semantics of precausal categories), we are abl= e to introduce new inference rules of selective resolution, paramodulation = and factoring that generalize the standard Knuth-Bendix completion rules fo= r term rewriting systems, and significantly improve the efficiency of autom= ated diagrammatic reasoning algorithms over hypergraphs. Time permitting, w= e will discuss some near-term practical applications of these methods for q= uantum information theory (allowing for more efficient diagrammatic simplif= ication of quantum circuits), as well as numerical general relativity (allo= wing for more explicit numerical simulation of graph-theoretic models of sp= ace and time). Zoom registration link: https://zoom.us/meeting/register/tJwldOGqqDooG9DhUDq-Hok5KwabTAddJ5xE Link to YouTube live stream: https://youtu.be/TJ5RkdGObGE ___________________________________________________ ---------------------------------------------------------------------------= - GReTA - Graph TRansformation Theory and Applications International Online Seminar Series ---------------------------------------------------------------------------= - Contact: greta@irif.fr Webpage: www.irif.fr/~greta YouTube: https://www.youtube.com/channel/UC6j-G6oPmkqCgOx6UQOUhSQ Twitter: https://twitter.com/GReTAseminars [For admin and other information see: http://www.mta.ca/~cat-dist/ ]