From: "Heckel, Reiko (Prof.)" <rh122@leicester.ac.uk>
To: "categories@mta.ca" <categories@mta.ca>
Subject: GReTA - Graph Transformation Theory and Applications” seminar series
Date: Mon, 16 Nov 2020 16:50:16 +0000 [thread overview]
Message-ID: <E1kesG6-0007FU-6W@rr.mta.ca> (raw)
Dear colleagues,
It is our great pleasure to invite you to the very first seminar of the new “GReTA - Graph Transformation Theory and Applications” 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
“Graph Transformation Meets Logic”, Barbara König
(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 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 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önig
Title: Graph Transformation Meets Logic
Abstract:
We review the integration of (first-order) logic respectively nested conditions into graph transformation. Conditions can serve various purposes: they can constrain graph rewriting, symbolically specify sets of graphs, be used in query languages and in verification (for instance in Hoare logic and for behavioral equivalence checking).
In the graph transformation community the formalism of nested graph conditions has emerged, that is, conditions which are equivalent to first-order logic, 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 lifted from graph transformation systems to the setting of reactive systems as defined by Leifer and Milner. It turns out that some constructions for graph transformation systems (such as computing weakest preconditions and strongest 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/ ]
reply other threads:[~2020-11-16 16:50 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=E1kesG6-0007FU-6W@rr.mta.ca \
--to=rh122@leicester.ac.uk \
--cc=categories@mta.ca \
/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).