From: "Heckel, Reiko (Prof.)" <rh122@leicester.ac.uk>
To: "gratra@upb.de" <gratra@upb.de>, "categories@mta.ca" <categories@mta.ca>
Subject: FW: Invitation: GReTA online seminar, December 18 at 15:00 CET
Date: Tue, 8 Dec 2020 10:08:38 +0000 [thread overview]
Message-ID: <E1kn21y-0003X1-I2@rr.mta.ca> (raw)
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/ ]
reply other threads:[~2020-12-08 10:08 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=E1kn21y-0003X1-I2@rr.mta.ca \
--to=rh122@leicester.ac.uk \
--cc=categories@mta.ca \
--cc=gratra@upb.de \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).