[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