TERMGRAPH 2018

10th International Workshop on Computing with Terms and Graphs 

Oxford, UK - 7 July 2018

An FSCD Workshop, Part of FLOC


Term graph rewriting is concerned with the representation of expressions as graphs and the evaluation of these expressions by rule-based graph transformation. The advantage of using graphs rather than strings or trees is that graphs are more expressive structures, where common subgraphs can be shared (thus  improving the efficiency of  representations and computations in space and time). Graph structures are ubiquitous in implementations of functional and logic programming languages, systems for automated reasoning, and symbolic computation systems. 

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 the workshop took place in Barcelona (2002), Rome (2004), Vienna (2006), Braga (2007), York (2009), Saarbrücken (2011), Rome (2013), Vienna (2014) and Eindhoven (2016).

This year TERMGRAPH is affiliated with FSCD, which is part of FLOC.


 The permanent TERMGRAPH site has further information. 


Topics


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




Invited Speaker: TBA

Submissions and Publication 

Extended abstracts of at most 5 pages in EPTCS style can be submitted. This may include both original work and tutorials on any of the above mentioned topics; work in progress is also welcome.  

Papers should be submitted electronically (pdf) via the EasyChair submission site, no later than March 15, 2018. 

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

The informal proceedings of TERMGRAPH 2018 will be available at the workshop. 

After the workshop authors will be invited to submit extended versions of their papers. Accepted contributions will appear in a volume of EPTCS. 

Important Dates

Submission Deadline (5-page abstracts): 15 March 2018

Notification: 15 May 2018

PreProceedings Version: 15 June 2018




Programme Committee TBA




Programmme TBA





Contact


Maribel Fernandez (Maribel.Fernandez@kcl.ac.uk)
Department of Informatics, King's College London
Strand Campus, Bush House, 30 Aldwych
London WC2B 4BG, United Kingdom