From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/10316 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: "Heckel, Reiko (Prof.)" Newsgroups: gmane.science.mathematics.categories Subject: =?Windows-1252?Q?GReTA_-_Graph_Transformation_Theory_and_Applications=94_?= =?Windows-1252?Q?seminar_series?= Date: Mon, 16 Nov 2020 16:50:16 +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="19667"; mail-complaints-to="usenet@ciao.gmane.io" To: "categories@mta.ca" Original-X-From: majordomo@rr.mta.ca Tue Nov 17 05:13:20 2020 Return-path: Envelope-to: gsmc-categories@m.gmane-mx.org Original-Received: from smtp2.mta.ca ([198.164.44.74]) by ciao.gmane.io with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1kesMp-000518-IO for gsmc-categories@m.gmane-mx.org; Tue, 17 Nov 2020 05:13:19 +0100 Original-Received: from rr.mta.ca ([198.164.44.159]:42462) by smtp2.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1kesJu-00021D-1x; Tue, 17 Nov 2020 00:10:18 -0400 Original-Received: from majordomo by rr.mta.ca with local (Exim 4.92.1) (envelope-from ) id 1kesG6-0007FU-6W for categories-list@rr.mta.ca; Tue, 17 Nov 2020 00:06:22 -0400 Accept-Language: en-GB, en-US Content-Language: en-GB Precedence: bulk Xref: news.gmane.io gmane.science.mathematics.categories:10316 Archived-At: Dear colleagues, It is our great pleasure to invite you to the very first seminar of the new= =93GReTA - Graph Transformation Theory and Applications=94 series -- Professor Reiko Heckel School of Informatics, University of Leicester, LE1 7RH TEL: +44 (0)116 252 3406 Email: rh122@le.ac.uk : Friday, November 20, 15:00 CET =93Graph Transformation Meets Logic=94, Barbara K=F6nig (abstract: see attached) Please refer to http://www.irif.fr/~greta for further information on how to= register for this Zoom meeting, or alternatively on how to attend the meet= ing 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, Reiko Heckel and Jean Krivine (GReTA organisers) ___________________________________________________ Date and time: Friday, November 20, 15:00 CET Speaker: Barbara K=F6nig Title: Graph Transformation Meets Logic Abstract: We review the integration of (first-order) logic respectively nested condit= ions into graph transformation. Conditions can serve various purposes: they= can constrain graph rewriting, symbolically specify sets of graphs, be use= d in query languages and in verification (for instance in Hoare logic and f= or behavioral equivalence checking). In the graph transformation community the formalism of nested graph conditi= ons has emerged, that is, conditions which are equivalent to first-order lo= gic, but directly integrate graphs and graph morphisms, in order to express= constraints more succinctly. In this talk we also explain how the notion of nested conditions can be lif= ted from graph transformation systems to the setting of reactive systems as= defined by Leifer and Milner. It turns out that some constructions for gra= ph transformation systems (such as computing weakest preconditions and stro= ngest postconditions and showing local confluence by means of critical pair= analysis) can be done quite elegantly in the more general setting. -- Professor Reiko Heckel School of Informatics, University of Leicester, LE1 7RH TEL: +44 (0)116 252 3406 Email: rh122@le.ac.uk [For admin and other information see: http://www.mta.ca/~cat-dist/ ]