From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/10415 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, March 12 at 15:00 CET Date: Mon, 8 Mar 2021 08:25:03 +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="38878"; mail-complaints-to="usenet@ciao.gmane.io" To: "categories@mta.ca" Original-X-From: majordomo@rr.mta.ca Tue Mar 09 23:19:00 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 1lJkgu-0009wG-AM for gsmc-categories@m.gmane-mx.org; Tue, 09 Mar 2021 23:19:00 +0100 Original-Received: from rr.mta.ca ([198.164.44.159]:47476) by smtp2.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1lJkf0-0002Oh-5n; Tue, 09 Mar 2021 18:17:02 -0400 Original-Received: from majordomo by rr.mta.ca with local (Exim 4.92.1) (envelope-from ) id 1lJkeF-00005w-BC for categories-list@rr.mta.ca; Tue, 09 Mar 2021 18:16:15 -0400 Accept-Language: en-GB, en-US Content-Language: en-GB Precedence: bulk Xref: news.gmane.io gmane.science.mathematics.categories:10415 Archived-At: An exciting new talk in our series. See you on Friday. Reiko On 01/03/2021, 08:57, "GReTA seminar organisers" wrote: Dear colleagues, It is our great pleasure to invite you to a seminar of the =93GReTA - Graph= Transformation Theory and Applications=94 series: Friday, March 12, 15:00 CET =93Composition-based Graph Rewriting=94, J.-P. Jouannaud (abstract: see attached) Please refer to http://www.irif.fr/~greta for furth= er information on how to register for this Zoom meeting, or alternatively o= n 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.ir= if.fr/~greta/#talks for a list of upcoming = events). With best regards, Nicolas Behr, Jean Krivine and Reiko Heckel (GReTA organisers) ___________________________________________________ Date and time: Friday, March 12, 15:00 CET Title: Composition-based Graph Rewriting Speaker: Jean-Pierre Jouannaud (Laboratoire d'Informatique (LIX), =C9cole P= olytechnique, France) Abstract: Double Pushout (DPO) rewriting, the dominant model for graph rewriting, eme= rged in the early 70=92s, strongly influenced at that time by graph grammar= s. Developed by Hartmut Ehrig and his many collaborators, graph rewriting w= as from the beginning based on category theory, with the major insight that= the two basic rewriting constructions, namely matching and replacement, we= re intimately related to graph morphisms and their pushouts. A new model ha= s emerged recently, so-called Composition based rewriting (Core), in which = rewriting is based on a composition operator over directed rooted labelled = graphs (drags), so that matching a drag G against a drag L amounts to compo= se L with some context drag C, and rewriting G with L -> R to compose R wit= h C. We will describe Core for drags before to relate it precisely to DPO a= nd extend it to adhesive categories of graphs and beyond. We will also show= how to define composition abstractly in any category of graphs satisfying = appropriate properties among which adhesivity (wrt monomorphisms). Major di= fferences between DPO and Core will be discussed. Zoom registration link: https://zoom.us/meeting/register/tJEpdO2gqjgqHd282gCQlEKac0SfhYOxImqV Link to YouTube live stream: https://youtu.be/7Shd5RIcGd8 ___________________________________________________ ---------------------------------------------------------------------------= - GReTA - Graph TRansformation Theory and Applications International Online Seminar Series ---------------------------------------------------------------------------= [For admin and other information see: http://www.mta.ca/~cat-dist/ ]