[TYPES/announce] CFP - TERMGRAPH: Computing with terms and graphs

[Fernandez, Maria Isabel]

=======================================================================
                          Call for Papers

                          TERMGRAPH 2018

     Tenth International Workshop on Computing with Terms and Graphs
                       termgraph.org.uk/2018<http://termgraph.org.uk/2018>

                            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,
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

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
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:
https://easychair.org/conferences/?conf=termgraph2018

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

Contact:
Maribel Fernandez Maribel.Fernandez at kcl.ac.uk<mailto:Maribel.Fernandez at kcl.ac.uk>




-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20180213/9493bcd8/attachment-0001.html>