TERMGRAPH 2022

12th International Workshop on Computing with Terms and Graphs

Technion, Haifa, Israel (in presence)

Monday, 1 August*) 2022

*) Sunday, 31 July 2022 could be a rescheduling date in case of more than 30 registrations, due to room considerations by the FLoC organizers (final decision on 15 June 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 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. Preliminary proceedings will be available for the workshop.

After the workshop, authors 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 Speaker(s)

Registration

Registration to the workshop will be possible via the FLoC registration page.

Important Dates Registration

Program Committee


Contact: Clemens Grabmayer

Last modified: Tue May 09:40:01 UTC 2022 by clegra