[Agda] TERMGRAPH 2020: Call for (Online) Participation
Patrick Bahr
paba at itu.dk
Sun Jun 28 10:29:23 CEST 2020
=======================================================================
Call for (Online) Participation
TERMGRAPH 2020
Eleventh International Workshop on Computing with Terms and Graphs
5 July, 2020
termgraph.org.uk/2020
An FSCD 2020 Workshop
=======================================================================
The 2020 edition of TERMGRAPH will be held online.
Participation will be free, but registration is required to join the
video meetings of the events.
https://fscd-ijcar-2020.org/register
=======================================================================
Programme
---------
Dan Ghica
Hypernet Semantics of Programming Languages (invited talk)
Graham Campbell
Parallel Hyperedge Replacement String Languages
Clemens Grabmayer
Structure-Constrained Process Graphs for the Process Semantics of Regular Expressions
Nicolas Behr
An Introduction to Stochastic Mechanics for Categorical Rewriting Systems (invited talk)
Thierry Boy de La Tour
Parallel Independence in Attributed Graph Rewriting
More information about the Agda
mailing list