[Agda] TERMGRAPH 2020: Call for papers

Patrick Bahr paba at itu.dk
Mon Feb 24 20:19:08 CET 2020


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

                          TERMGRAPH 2020

  Eleventh International Workshop on Computing with Terms and Graphs

                       termgraph.org.uk/2020

                            Paris, France

       Co-located with FSCD & IJCAR 2020, June 29 - July 5, 2020
=======================================================================

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:     15 April 2020
Notification:            15 May 2020
PreProceedings version:  24 May 2020

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>


More information about the Agda mailing list