[TYPES/announce] TERMGRAPH 2022 Workshop: First Call for Participation

Clemens Grabmayer clemens.grabmayer at gssi.it
Fri Jun 17 09:05:06 EDT 2022

                     First Call for Participation

                            TERMGRAPH 2022
    Twelfth International Workshop on Computing with Terms and Graphs

                       Technion, Haifa, Israel
		      Monday, 1st August 2022

                A Workshop that is part of FLoC 2022

We invite participation for TERMGRAPH 2022, a satellite workshop 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,

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

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.


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  Jörg Endrullis (invited talk):
   PBPO+ Graph Rewriting in Context
16.00 - 16.30  Tim Kräuter, Harald König, 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

Registration for FLoC:

Via the FLoC webpage: https://urldefense.com/v3/__https://www.floc2022.org/registration__;!!IBzWLUs!S7Vv9VcxaSe_YePwWfRPGwFH7FrQgYBc4vt7xazILA2_WUdeDL33gbpWclEos0U7b7yO-6vAgIYV4Do9Pknats9eiQxWnhJuLiJ04JDG_A$ 

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


Clemens Grabmayer clemens.grabmayer at gssi.it

More information about the Types-announce mailing list