[ 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 algorithms, to define
computation models, as a general modelling tool to study complex systems,
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
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 this area.
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
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-pages 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