13th International Workshop on Computing with Terms and Graphs

7 April 2024, Luxembourg City, Luxembourg

Satellite event of ETAPS 2024

About the Workshop

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 solicits 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.

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

See the TERMGRAPH website has further information.

Venue

TERMGRAPH 2024 will be a one-day satellite event of the ETAPS 2024, which will take place in Luxembourg City, Luxembourg.

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):

Submissions and Publication

Authors are invited to submit a short paper (around 5 pages). Preliminary proceedings will be available at the workshop. Papers should be written in English, and submitted in 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 for publication.

Important Dates

Programme

The programme will include invited talks in addition to submissions. More details will be here nearer the workshop date.

Programme Committee