[Agda] TERMGRAPH 2020: Deadline Extension - 22 April

[Patrick Bahr]

=======================================================================
                          Call for Papers
                   (*** DEADLINE EXTENSION ***)

                          TERMGRAPH 2020

  Eleventh International Workshop on Computing with Terms and Graphs
                           5 July, 2020
  
                       termgraph.org.uk/2020

                       An FSCD 2020 Workshop
=======================================================================

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 2020 (extended)
Notification:            15 May 2020
PreProceedings version:  24 May 2020
Online Workshop:          5 July 2020
(Due to the Covid-19 pandemic, the workshop will be held online.)

Submissions and Publication:

Authors are invited to submit an extended abstract in PDF format of
max. 8 pages in EPTCS style (http://style.eptcs.org/). This may
include both original work and tutorials on any of the abovementioned
topics; work in progress is also welcome.

Submission is through Easychair:

https://easychair.org/conferences/?conf=termgraph2020

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:

Beniamino Accattoli
Zena Ariola
Patrick Bahr (chair)
Clemens Grabmayer
Makoto Hamana
Wolfram Kahl
Frédéric Prost
Femke van Raamsdonk
David Sabel

Contact:
Patrick Bahr <paba at itu.dk>