FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
TERMGRAPH PRE-PROCEEDINGS: EDITOR'S PREFACE

This volume contains the papers presented at TERMGRAPH 2018: 10th International Workshop on Computing with Terms and Graphs held on July 7, 2018 in Oxford.

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 modelling tool to study complex systems, etc.

Research in term and graph rewriting ranges from theoretical questions to practical implementation issues. Different research areas include: the modelling of first- and higher-order term rewriting by (acyclic or cyclic) graph rewriting, the use of graphical frameworks such as interaction nets and sharing graphs (optimal reduction), rewrite calculi for the semantics and analysis of functional programs, graph reduction implementations of programming languages, graphical calculi modelling concurrent and mobile computations, object-oriented systems, graphs as a model of biological or chemical systems, and automated reasoning and symbolic computation systems working on shared structures. The aim of the TERMGRAPH workshop is to bring together researchers working in these different domains and 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.

Previous editions of TERMGRAPH took place in Barcelona (2002), Rome (2004), Vienna (2006), Braga (2007), York (2009), Saarbrucken (2011), Rome (2013), Vienna (2014) and Eindhoven (2016). This year TERMGRAPH is affiliated with FSCD, which is part of FLOC.

The Programme Committee of TERMGRAPH 2018 consists of: Zena Ariola, Andrea Corradini, Rachid Echahed, Maribel Fernandez (co-chair), Reiko Heckel, Ian Mackie (co-chair), Detlef Plump and Femke van Raamsdonk.

Eight papers have been selected for presentation at TERMGRAPH 2018. In addition the programme includes invited talks by Clemens Grabmayer and Fernando Orejas.

The Final Proceedings of TERMGRAPH 2018 will appear in EPTCS (Electronic Proceedings in Theoretical Computer Science).

More information about the workshop can be found on the workshop web page:  http://www.termgraph.org.uk/2018/  

We would like to thank all those who contributed to TERMGRAPH 2018,  particularly the  invited speakers, programme committee members and local organisers. EasyChair was used to deal with the reviewing process and the generation of the preproceedings, for which we are thankful.


Maribel Fernandez
Ian Mackie
May 29, 2018
London