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

Invited Speaker:
Fernando Orejas (Technical University of Catalonia)

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-page 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.fernan...@kcl.ac.uk




Reply via email to