CAUTION: The Sender of this email is not from within Dalhousie. Another very interesting seminar next Friday, on Hypergraph Rewriting and the Wolfram Model by Jonathan Gorard. Best wishes Reiko On 29/03/2021, 19:22, "GReTA Seminar organisers" <greta@irif.fr> wrote: Dear colleagues, It is our great pleasure to invite you to the next seminar of the “GReTA - Graph Transformation Theory and Applications” series: Friday, April 9, 15:00 CEST “Hypergraph Rewriting and the Wolfram Model”, J. Gorard (abstract: see attached) Please refer to http://www.irif.fr/~greta<https://eur03.safelinks.protection.outlook.com/?url=http:%2F%2Fwww.irif.fr%2F~greta&data=04%7C01%7Crh122%40leicester.ac.uk%7Cce9f27c7a8e24ec02d7f08d8f2dfaa9d%7Caebecd6a31d44b0195ce8274afe853d9%7C0%7C0%7C637526389750369981%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C1000&sdata=ZQzN75X9M20C%2BEhjVKR2IU6IRVX7P7Pnr49ev60hhmc%3D&reserved=0> for further information on how to register for this Zoom meeting, or alternatively on how 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.irif.fr/~greta/#talks<https://eur03.safelinks.protection.outlook.com/?url=https:%2F%2Fwww.irif.fr%2F~greta%2F%23talks&data=04%7C01%7Crh122%40leicester.ac.uk%7Cce9f27c7a8e24ec02d7f08d8f2dfaa9d%7Caebecd6a31d44b0195ce8274afe853d9%7C0%7C0%7C637526389750379976%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C1000&sdata=EhftKhqbX81u%2BMa%2FvMYis7gTffbF49YYipca%2FZW7aCQ%3D&reserved=0> for a list of upcoming 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 the Wolfram Physics Project: a systematic attempt to reduce fundamental physics to the problem of hypergraph rewriting. Specifically, we will discuss the construction of an efficient hypergraph rewriting scheme using the formalism of Wolfram model multiway systems, with a categorical semantics defined via double-pushout rewrites over selective adhesive categories, and equipped with a dagger-symmetric monoidal structure that exhibits surprising formal connections to categorical quantum mechanics. We will also demonstrate that, by equipping such a multiway system with an additional notion of causal structure (defined via the semantics of precausal categories), we are able to introduce new inference rules of selective resolution, paramodulation and factoring that generalize the standard Knuth-Bendix completion rules for term rewriting systems, and significantly improve the efficiency of automated diagrammatic reasoning algorithms over hypergraphs. Time permitting, we will discuss some near-term practical applications of these methods for quantum information theory (allowing for more efficient diagrammatic simplification of quantum circuits), as well as numerical general relativity (allowing for more explicit numerical simulation of graph-theoretic models of space and time). Zoom registration link: https://zoom.us/meeting/register/tJwldOGqqDooG9DhUDq-Hok5KwabTAddJ5xE<https://eur03.safelinks.protection.outlook.com/?url=https%3A%2F%2Fzoom.us%2Fmeeting%2Fregister%2FtJwldOGqqDooG9DhUDq-Hok5KwabTAddJ5xE&data=04%7C01%7Crh122%40leicester.ac.uk%7Cce9f27c7a8e24ec02d7f08d8f2dfaa9d%7Caebecd6a31d44b0195ce8274afe853d9%7C0%7C0%7C637526389750379976%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C1000&sdata=0GjfSGHJrYWQ0E6hAOpwdnzYrJgtx74gkywRFU894K0%3D&reserved=0> Link to YouTube live stream: https://youtu.be/TJ5RkdGObGE<https://eur03.safelinks.protection.outlook.com/?url=https%3A%2F%2Fyoutu.be%2FTJ5RkdGObGE&data=04%7C01%7Crh122%40leicester.ac.uk%7Cce9f27c7a8e24ec02d7f08d8f2dfaa9d%7Caebecd6a31d44b0195ce8274afe853d9%7C0%7C0%7C637526389750389975%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C1000&sdata=V4oBqOdE6AmmJUYxAi9Ok0FiGtFly9C5lFo9fKVpxtM%3D&reserved=0> ___________________________________________________ ---------------------------------------------------------------------------- GReTA - Graph TRansformation Theory and Applications International Online Seminar Series ---------------------------------------------------------------------------- Contact: greta@irif.fr<mailto:greta@irif.fr> Webpage: www.irif.fr/~greta<https://eur03.safelinks.protection.outlook.com/?url=http:%2F%2Fwww.irif.fr%2F~greta&data=04%7C01%7Crh122%40leicester.ac.uk%7Cce9f27c7a8e24ec02d7f08d8f2dfaa9d%7Caebecd6a31d44b0195ce8274afe853d9%7C0%7C0%7C637526389750389975%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C1000&sdata=2mIrx97pvSIouqG2413LNfyyqt6PEK9rnt0VSq9gs%2F4%3D&reserved=0> YouTube: https://www.youtube.com/channel/UC6j-G6oPmkqCgOx6UQOUhSQ<https://eur03.safelinks.protection.outlook.com/?url=https%3A%2F%2Fwww.youtube.com%2Fchannel%2FUC6j-G6oPmkqCgOx6UQOUhSQ&data=04%7C01%7Crh122%40leicester.ac.uk%7Cce9f27c7a8e24ec02d7f08d8f2dfaa9d%7Caebecd6a31d44b0195ce8274afe853d9%7C0%7C0%7C637526389750399970%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C1000&sdata=NtfEdFhCvSCXYDPxUdRb%2BK%2BLoGuJ4LWY%2BAI8vRCnfUI%3D&reserved=0> Twitter: https://twitter.com/GReTAseminars<https://eur03.safelinks.protection.outlook.com/?url=https%3A%2F%2Ftwitter.com%2FGReTAseminars&data=04%7C01%7Crh122%40leicester.ac.uk%7Cce9f27c7a8e24ec02d7f08d8f2dfaa9d%7Caebecd6a31d44b0195ce8274afe853d9%7C0%7C0%7C637526389750399970%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C1000&sdata=MyHqIMECCk2F81ava4fh7LMx%2FzFckq7IbqJdhEtzR2E%3D&reserved=0> [For admin and other information see: http://www.mta.ca/~cat-dist/ ]