========================================================================
                    First Call for Participation

                           TERMGRAPH 2022
           
   Twelfth International Workshop on Computing with Terms and Graphs
                    http://termgraph.org.uk/2022

                      Technion, Haifa, Israel
		      Monday, 1st August 2022

               A Workshop that is part of FLoC 2022 
========================================================================

We invite participation to TERMGRAPH 2022, a satellite event of the
8th Federated Logic Conference  (FLoC 2022) to be held in Haifa, Israel,
from July 31 to August 12, 2022.

Graphs and graph transformation systems are used in many areas within
Computer Science: to represent data structures and algorithms, to define
computation models, as a general modeling tool to study complex systems,
etc.

Topics of interest for TERMGRAPH encompass all aspects of term-/graph
rewriting (term-graph and graph rewriting), and applications of graph
transformations in programming, automated reasoning and symbolic
computation.

The aim of our workshop is to bring together researchers working in
these different domains, to foster their interaction, to provide a
forum for presenting new ideas and work in progress, and to enable
newcomers to learn about current activities in this area.


Program:
--------

We will have two invited talks (by Joerg Endrullis and by Delia Kesner),
and 5 presentations about regular contributions. The preliminary schedule
is as follows:

09.05  Opening of the workshop 
09.15 - 10.15  Delia Kesner (invited talk):
  A Computational Interpretation of Girard's Intuitionistic Proof Nets
11.00 - 11.30  Tikhon Pshenitsyn:
  Transformation of DPO Grammars into Hypergraph Lambek Grammars
    With The Conjunctive Kleene Star
11.30 - 12.00  Vincent van Oostrom:
  Greedily Decomposing Proof Terms for String Rewriting into Multistep
    Derivations by Topological Multisorting
12.00 - 12.30  Roy Overbeek and Joerg Endrullis:
  A PBPO+ Graph Rewriting Tutorial 
14.15 - 15.15  Joerg Endrullis (invited talk):
  PBPO+ Graph Rewriting in Context
16.00 - 16.30  Tim Kraeuter, Harald Koenig, Adrian Rutle, and Yngve Lamo:
  Formalization and analysis of BPMN using graph grammars
16.30 - 17.00  Stephen Mell, Osbert Bastani, and Steve Zdancewic:
  Ideograph: A Language for Expressing and Manipulating Structured Data
17.00 - 17.25  room for discussions
17.25  closing of the workshop

Any changes if necessary will be announced via the webpage
http://termgraph.org.uk/2022


Programme Committee:
--------------------

Sandra Alves, Universidade do Porto, Portugal
Martin Avanzini, INRIA Sophia Antipolis - Méditerranée, France
Patrick Bahr, IT University Copenhagen, Copenhagen, Denmark
Thierry Boy de la Tour, CNRS, France
Clemens Grabmayer (chair), Gran Sasso Science Institute, Italy
Wolfram Kahl, McMaster University, Canada
Ian Mackie, LIX, France
Femke van Raamsdonk, Vrije Universiteit Amsterdam, The Netherlands
Adrian Rutle, Western Norway University, Norway
Kazunori Ueda, Waseda University, Japan


Contact:
--------

Clemens Grabmayer clemens.grabmayer@gssi.it
========================================================================