======================================================================= 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 <p...@itu.dk> _______________________________________________ Haskell mailing list Haskell@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell