13th International Workshop on Computing with Terms and Graphs

7 April 2024, Luxembourg City, Luxembourg

Satellite event of ETAPS 2024

Introduction top

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.

The aim of this 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 term graph rewriting. TERMGRAPH 2024 will be a one-day satellite event of the ETAPS 2024, which will take place in Luxembourg City, Luxembourg, 2024.

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 top

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 top

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 top

26 Jan 2024 Submission Deadline for Extended Abstracts
02 Feb 2024 Notification
17 Mar 2024 Pre-proceedings version due
07 Apr 2024 Workshop
01 Aug 2024 Submission Deadline for EPTCS Proceedings (max 16 pages)
15 Sep 2024 Notification
15 Oct 2024 Final Versions

Programme Committee top

Clemens Grabmayer
Willem Heijltjes
Ian Mackie
Vincent van Oostrom
Femke van Raamsdonk

Organizing Committee top

Contact top

Ian Mackie
Department of Informatics
University of Sussex
United Kingdom

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


Termgraph 2024 is sponsored by the Department of Informatics, University of Sussex.