[ The Types Forum (announcements only),
Call for Papers
Tenth International Workshop on Computing with Terms and Graphs
Saturday, 7th July 2018
An FSCD Workshop, part of FLoC
Graphs, and graph transformation systems, are used in many areas within
Computer Science: to represent data structures and programs, to define
computation models, as a general modelling tool to study complex systems, etc.
Topics of interest for TERMGRAPH encompass all aspects of term and graph
rewriting, and applications of graph transformations in programming,
automated reasoning and symbolic computation, including:
* Theory of first-order and higher-order term and graph rewriting
* Graph grammars
* Graph-based models of computation
* Graph-based programming languages and modelling frameworks
* Applications in functional and logic programming
* Applications in automated reasoning and symbolic computation
* Term/graph rewriting tools: case studies and system descriptions
* Implementation issues
Fernando Orejas (Technical University of Catalonia)
Submission deadline: 22 April 2018
Notification: 15 May 2018
PreProceedings version: 24 May 2018
Workshop: 7 July 2018
Submissions and Publication:
Authors are invited to submit an extended abstract in pdf format (max. 8 pages
in EPTCS style). This may include both original work and tutorials on any of
the above mentioned topics; work in progress is also welcome.
Submission is through Easychair:
Preliminary proceedings will be available at the workshop.
After the workshop, authors will be invited to submit a longer version of
their work (typically a 15-page paper) for publication in EPTCS.
These submissions will undergo a second round of refereeing.
Maribel Fernandez (co-chair)
Ian Mackie (co-chair)
Femke van Raamsdonk
Maribel Fernandez maribel.fernan...@kcl.ac.uk