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 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,
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 Jörg 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 Jörg 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
http://termgraph.org.uk/2022
Registration for FLoC:
----------------------
Via the FLoC webpage: https://www.floc2022.org/registration
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
========================================================================
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
Posts
