[Caml-list] Second CFP: Term and Graph rewriting, special issue of MSCS

[Caml-list] Second CFP: Term and Graph rewriting, special issue of MSCS

[Rachid Echahed]

--------------------------------------------------------------------------
    Second Call for Papers

    Special Issue of Mathematical Structures in Computer Science (MSCS) on

    "TERM and GRAPH Rewriting"

--------------------------------------------------------------------------
Scope
--------------------------------------------------------------------------

Rewriting techniques constitute a foundational theory of computing
science. They are being investigated for several structures such as
lambda-terms, first-order terms or graphs and have been successfully
used in many areas such as programming languages, automated
reasoning, program verification, security, etc. This is witnessed by
the leading international events ICGT, RTA or TLCA among others.

During the last decade, a particular interest has been devoted to the
study of the impact of shared structures in term and graph rewriting
through the international editions of TERMGRAPH series of workshops.
Sharing is indeed 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. Term and graph rewriting are also used in automated theorem
proving and symbolic computation systems working on shared
structures...

This special issue is devoted to recent developments in all aspects
of TERM and GRAPH rewriting. This includes (but is not limited to):
term rewriting, graph transformation, proof methods, programming
languages, infinitary rewriting, rewrite strategies, semantics,
properties of rewriting ...

--------------------------------------------------------------------------
Submissions
--------------------------------------------------------------------------

Submitted papers must be original and not submitted for publication
elsewhere, and will be subject to the standard journal refereeing
process of the Mathematical Structures in Computer Science (MSCS)
journal.

Submissions should be in pdf format following the MSCS instruction for
contributors (http://assets.cambridge.org/MSC/MSC_ifc.pdf) and should
be submitted electronically via the following easy-chair web site:

https://www.easychair.org/conferences/?conf=mscsrewriting2012

--------------------------------------------------------------------------
Important Dates
--------------------------------------------------------------------------

January 20, 2012 :      Abstract submission
February 20, 2012:      Paper submission
June 15, 2012    :      Notification of acceptance

--------------------------------------------------------------------------
Guest Editor:
--------------------------------------------------------------------------
Rachid Echahed, CNRS LIG Lab., Grenoble, France
echahed@imag.fr
--------------------------------------------------------------------------