FW: Invitation: GReTA online seminar, December 18 at 15:00 CET

FW: Invitation: GReTA online seminar, December 18 at 15:00 CET

[Heckel, Reiko (Prof.)]

The third instalment in our series. Looking forward to see you all again soon.

Best wishes
Reiko

On 08/12/2020, 09:59, "GReTA Seminar organisers" <greta@irif.fr> wrote:

Dear colleagues,

It is our great pleasure to invite you to the third seminar of the “GReTA  - Graph Transformation Theory and Applications” series:

Friday, December 18, 15:00 CET
“Hierarchical port graphs & PORGY - port graph rewriting as a modelling tool”, M. Fernandez and B. Pinaud
(abstracts: 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%7C373d7f446d8e48d7e56308d89b5fe81a%7Caebecd6a31d44b0195ce8274afe853d9%7C0%7C0%7C637430183510153137%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C1000&sdata=RdAGpDwA8E347qnbqkST92QJfTgUheqTMJzciN7%2FQoA%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%7C373d7f446d8e48d7e56308d89b5fe81a%7Caebecd6a31d44b0195ce8274afe853d9%7C0%7C0%7C637430183510153137%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C1000&sdata=lZozJ5rcIJY5MgM4vT2AIx8xYQOLrUdPJZTkDhNZNXc%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, December 18, 15:00 CET
Speakers: Maribel Fernandez and Bruno Pinaud
Title: Hierarchical port graphs & PORGY - port graph rewriting as a modelling tool

Abstract:

Graph rewriting systems are natural verification and validation tools: they  provide visual, intuitive representations of complex systems while specifying the dynamic behaviour of the system in a formal way. In this talk we will describe the use of strategic port graph rewriting as a basis for the implementation 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 is 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 have been adapted to deal with the more general setting of graph rewriting, and 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 application in the areas of biochemistry, social networks and finance.

This is joint work with members of the PORGY team at Bordeaux and King’s College London.



Zoom registration link:

https://zoom.us/meeting/register/tJ0kd--hpzMiEtcVY7TdQh-jArgpon9t-ZHw<https://eur03.safelinks.protection.outlook.com/?url=https%3A%2F%2Fzoom.us%2Fmeeting%2Fregister%2FtJ0kd--hpzMiEtcVY7TdQh-jArgpon9t-ZHw&data=04%7C01%7Crh122%40leicester.ac.uk%7C373d7f446d8e48d7e56308d89b5fe81a%7Caebecd6a31d44b0195ce8274afe853d9%7C0%7C0%7C637430183510163134%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C1000&sdata=yNsiA8OBSu3I09zKcklVJcZ1baNPEnrBnxa4mk5V%2FwI%3D&reserved=0>

Link to YouTube live stream:

https://youtu.be/D_YHlXawg9o<https://eur03.safelinks.protection.outlook.com/?url=https%3A%2F%2Fyoutu.be%2FD_YHlXawg9o&data=04%7C01%7Crh122%40leicester.ac.uk%7C373d7f446d8e48d7e56308d89b5fe81a%7Caebecd6a31d44b0195ce8274afe853d9%7C0%7C0%7C637430183510163134%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C1000&sdata=j9Ys9xpmfbl7LvVBYnXZqR%2BU5DIKPPJMeIA1l0QOaWg%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
YouTube: https://www.youtube.com/channel/UC6j-G6oPmkqCgOx6UQOUhSQ



[For admin and other information see: http://www.mta.ca/~cat-dist/ ]