[ The Types Forum (announcements only),
     http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

                          Call for Papers

                          TERMGRAPH 2018

     Tenth International Workshop on Computing with Terms and Graphs

                            Oxford, UK
                     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.

Important Dates:

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.

Programme Committee:

Zena Ariola
Andrea Corradini
Rachid Echahed
Maribel Fernandez (co-chair)
Reiko Heckel
Ian Mackie (co-chair)
Detlef Plump
Femke van Raamsdonk

Maribel Fernandez 

Reply via email to