TERMGRAPH 2022

12th International Workshop on Computing with Terms and Graphs

Technion, Haifa, Israel (in presence)

Monday, 1 August 2022

Part of FLoC 2022

News

Background and history

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.

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), and online (2020, planned to be held in Paris).

The permanent TERMGRAPH website has further information.

Aim

The aim of this workshop is to bring together researchers working in these different domains, 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.

Topics of Interest

Topics of interest include all aspects of term-/graph rewriting (term-graph and graph rewriting) and applications of graph transformations in programming, automated reasoning and symbolic computation. This includes (but is not limited to):

Call for Participation, Call for Papers, Poster

Submission and Publication

We invite submissions of extended abstracts of at most 8 pages in EPTCS style (see also template on Overleaf). This may include, concerning any of the topics above: Extended abstracts have to be submitted no later than 12 May 2022 (AoE) (10 May 2022 (AoE)) electronically (pdf) via:

Papers will be judged on relevance, originality, correctness, and usefulness.

After the workshop, authors of presented extended abstracts will be invited to submit a longer version of their work (a 15-pages paper) for the publication of the Workshop Post-Proceedings in EPTCS (Electronic Proceedings in Theoretical Computer Science) These submissions will undergo a second round of refereeing with:

Important Dates

Invited Speakers

Extended Abstracts Accepted for Presentation

Program

Please see this text file.

Registration

Registration to the workshop is open and possible via the FLoC registration page.

Important Dates Registration

Some of the Slides Presented at the Workshop

Some Pictures from the Workshop

Program Committee


Contact: Clemens Grabmayer / Last modified: Sun 15 Jan 2023 09:01 CEST