From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/10337 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, December 18 at 15:00 CET Date: Tue, 8 Dec 2020 10:08:38 +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="7479"; mail-complaints-to="usenet@ciao.gmane.io" To: "gratra@upb.de" , "categories@mta.ca" Original-X-From: majordomo@rr.mta.ca Wed Dec 09 17:12:11 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 1kn24Y-0001mf-0H for gsmc-categories@m.gmane-mx.org; Wed, 09 Dec 2020 17:12:10 +0100 Original-Received: from rr.mta.ca ([198.164.44.159]:45384) by smtp2.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1kn1yH-0003Qx-TI; Wed, 09 Dec 2020 12:05:41 -0400 Original-Received: from majordomo by rr.mta.ca with local (Exim 4.92.1) (envelope-from ) id 1kn21y-0003X1-I2 for categories-list@rr.mta.ca; Wed, 09 Dec 2020 12:09:30 -0400 Accept-Language: en-GB, en-US Content-Language: en-GB Precedence: bulk Xref: news.gmane.io gmane.science.mathematics.categories:10337 Archived-At: The third instalment in our series. Looking forward to see you all again so= on. Best wishes Reiko On 08/12/2020, 09:59, "GReTA Seminar organisers" wrote: Dear colleagues, It is our great pleasure to invite you to the third seminar of the =93GReTA= - Graph Transformation Theory and Applications=94 series: Friday, December 18, 15:00 CET =93Hierarchical port graphs & PORGY - port graph rewriting as a modelling t= ool=94, M. Fernandez and B. Pinaud (abstracts: 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 upcoming ev= ents). With best regards, Nicolas Behr, Jean Krivine and Reiko Heckel (GReTA organisers) ___________________________________________________ Date and time: Friday, December 18, 15:00 CET Speakers: Maribel Fernandez and Bruno Pinaud Title: Hierarchical port graphs & PORGY - port graph rewriting as a modelli= ng tool Abstract: Graph rewriting systems are natural verification and validation tools: they= provide visual, intuitive representations of complex systems while specify= ing the dynamic behaviour of the system in a formal way. In this talk we wi= ll describe the use of strategic port graph rewriting as a basis for the im= plementation of a visual modelling tool: PORGY. We will present attributed = hierarchical port graphs (AHP) and a notion of strategic AHP-rewriting as a= mechanism to model the behaviour of dynamic systems. The system modelled i= s represented by an initial graph and a collection of graph rewrite rules, = together with a user-defined strategy to control the application of rules. = The traditional operators found in strategy languages for term rewriting ha= ve been adapted to deal with the more general setting of graph rewriting, a= nd some new constructs have been included in the strategy language to deal = with graph traversal and management of rewriting positions in the graph. In= the second part of the talk, we describe PORGY and give examples of applic= ation in the areas of biochemistry, social networks and finance. This is joint work with members of the PORGY team at Bordeaux and King=92s = College London. Zoom registration link: https://zoom.us/meeting/register/tJ0kd--hpzMiEtcVY7TdQh-jArgpon9t-ZHw Link to YouTube live stream: https://youtu.be/D_YHlXawg9o ___________________________________________________ ---------------------------------------------------------------------------= - 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 [For admin and other information see: http://www.mta.ca/~cat-dist/ ]