Introduction

Graphs, and graph transformation systems, are used in many areas within Computer Science, for example to represent data structures and algorithms, and to define models of computation, as a general modelling tool to study complex systems. When terms are represented by graphs, common subexpressions can be shared, thereby improving the efficiency of computations in space and time. Sharing is ubiquitous in implementations of programming languages: many functional, logic, object-oriented and concurrent calculi are implemented using graphs.

TERMGRAPH 2024 will solicit papers describing new results relating to the theory or practical applications of graph transformation systems. This includes (but is not limited to): graph and term rewriting, graph grammars, graph-based programming languages, semantics and implementation of programming languages, compiler construction, pattern recognition, graph-based modelling tools, and applications in databases, bioinformatics, social networks, etc.

This will be the 13th edition of TERMGRAPH. Previous events took place in: Barcelona (2002), Rome (2004), Vienna (2006), Braga (2007), York (2009), Saarbrucken (2011), Rome (2013), Vienna (2014), Eindhoven (2016), Oxford (2018), Paris (2020), Haifa (2022).

The permanent TERMGRAPH website has more details about past events here.

Topics of Interest

Research areas of interest for TERMGRAPH include all aspects of term graphs and sharing of common subexpressions in rewriting, programming, automated reasoning and symbolic computation. This includes (but is not limited to):

• 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 analysis of functional programs.
• Graph reduction implementations of programming languages.
• Graphical calculi modelling concurrent and mobile computations.
• Object-oriented systems.
• Graph transformation systems as a modelling tool for complex systems.
• Automated reasoning systems working on shared structures.

Submissions and Publication

Authors are invited to submit a short paper (max 8 pages). Preliminary proceedings will be available at the workshop. Papers should be written in English, and submitted in PostScript or PDF format, using the EPTCS style files. Submission is through the Easychair website.

After the workshop authors are invited to submit a full paper of their presentation. Accepted contributions will appear in EPTCS.

Important Dates

Programme Committee

Organizing Committee

Contact

Ian Mackie
Department of Informatics
University of Sussex
United Kingdom

E-mail: i.mackie@sussex.ac.uk

Sponsorship