======================================================================== 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 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 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 ========================================================================