13th International Workshop on Computing with Terms and Graphs
7 April 2024, Luxembourg City, Luxembourg
Satellite event of ETAPS 2024
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
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
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
Graphical calculi modelling concurrent and
systems as a modelling tool for complex systems.
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.
|26 Jan 2024
||Submission Deadline for Extended Abstracts
|02 Feb 2024
|17 Mar 2024
||Pre-proceedings version due
|07 Apr 2024
|01 Aug 2024
||Submission Deadline for EPTCS Proceedings (max 16 pages)
|15 Sep 2024
|15 Oct 2024
|Vincent van Oostrom
|Femke van Raamsdonk
Department of Informatics
University of Sussex
Termgraph 2024 is sponsored by the Department of Informatics, University of Sussex.