[TYPES/announce] TERMGRAPH 2014: second call for papers

[Raamsdonk, F. van]

*************************************************************************

   TERMGRAPH 2014: SECOND CALL FOR PAPERS

   8th International Workshop on Computing with Terms and Graphs
   (affiliated with RTA-TLCA as part of FLoC)

   July 13, 2014, Vienna

   http://cl-informatik.uibk.ac.at/events/termgraph-2014/

*************************************************************************

submission:	 April 16, 2014
notification:	 May 16, 2014
final version:	 May 28, 2014
workshop:	 July 13, 2014

*************************************************************************

Research in term and graph rewriting ranges from theoretical questions 
to practical issues. Computing with graphs handles the sharing of common 
subexpressions in a natural and seamless way, and improves the efficiency 
of computations in space and time. Sharing is ubiquitous in several 
research areas, for instance: the modelling of first- and higher-order 
term rewriting by (acyclic or cyclic) graph rewriting, the modelling of 
biological or chemical abstract machines, the implementation techniques 
of programming languages: many implementations of functional, logic, 
object-oriented, concurrent and mobile calculi are based on term graphs. 
Term graphs are also used in automated theorem proving and symbolic 
computation systems working on shared structures. The aim of this workshop 
is to bring together researchers working in different domains on term and 
graph transformation 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 term graph rewriting.

Previous editions of the workshop took place in Barcelona (2002), Rome
(2004), Vienna (2006), Braga (2007), York (2009), Saarbruecken (2011), and
Rome (2013). This year TERMGRAPH is affiliated with the joint RTA and TLCA
conference, which is part of FLoC, which in turn participates in the
Vienna Summer of Logic 2014.


*** Topics of interest ***

Topics of interest include all aspects of term graphs and sharing of 
common subexpressions in rewriting, programming, automated reasoning 
and symbolic computation. This includes (but is not limited to):
- graph transformation
- graph-based implementations of lambda-calculus
- representation of concurrent systems
- models of computation
- graph-based languages
- semantics and implementation of programming languages
- compiler construction
- interaction nets and proof nets
- pattern recognition
- bioinformatics
- system descriptions


*** Submission ***

There are two categories of submissions:

(1) Extended abstracts describing new results, work in progress, or
    problems.

(2) Short versions of articles recently published or submitted elsewhere. 
    Papers in this category are not considered for the post-workshop
    proceedings.

The page limit for submissions in both categories is 5 pages in EPTCS
style. Submissions should be marked with the category (either 1 or 2) and
submitted electronically in PDF via the EasyChair submission site:

    http://www.easychair.org/conferences/?conf=TERMGRAPH2014

Papers will be judged on relevance, originality, correctness, and
usefulness.

The proceedings of TERMGRAPH 2014 will be included on the FLoC USB flash
drive. Post-workshop proceedings of full versions of selected (category 1)
contributions will be published as a volume of EPTCS.

*** Invited Speakers ***

Ian Mackie                    École Polytechnique, Palaiseau (joint with DCM 2014)
Samuel Mimram           CEA LIST, Saclay               (joint with IWC 2014)

*** Program Committee ***

Beniamino Accattoli      Bologna University
Zena Ariola                   University of Oregon
Guillaume Bonfant        LORIA-INRIA Nancy
Vincent Danos              University of Edinburgh
Wolfram Kahl                McMaster University
Damiano Mazza           CNRS-LIPN Paris
Aart Middeldorp             University of Innsbruck	 (co-chair)
Pierre-Etienne Moreau   LORIA-INRIA Nancy
Femke van Raamsdonk  VU University Amsterdam	 (co-chair)