From: Rachid Echahed <Rachid.Echahed@imag.fr>
To: Rachid.Echahed@imag.fr
Subject: [Caml-list] Last CFP: Term and Graph rewriting, special issue of MSCS
Date: Fri, 13 Jan 2012 16:40:08 +0100 [thread overview]
Message-ID: <4F105058.5010104@imag.fr> (raw)
In-Reply-To: <4E85734A.9040501@imag.fr>
--------------------------------------------------------------------------
Last Call for Papers
Special Issue of Mathematical Structures in Computer Science (MSCS) on
"TERM and GRAPH Rewriting"
http://membres-lig.imag.fr/echahed/pages/mscs.php
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------
Should you have any problem to meet the deadlines, please send a mail to
the guest editor.
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
--------------------------------------------------------------------------
next parent reply other threads:[~2012-01-13 15:40 UTC|newest]
Thread overview: 8+ messages / expand[flat|nested] mbox.gz Atom feed top
[not found] <4E85734A.9040501@imag.fr>
2012-01-13 15:40 ` Rachid Echahed [this message]
2012-04-04 5:21 ` [Caml-list] CFP: Graph Computation Models (GCM2012) Rachid Echahed
2012-06-01 14:04 ` [Caml-list] Second " Rachid Echahed
2012-07-02 21:43 ` [Caml-list] Last " Rachid Echahed
2012-10-24 4:40 ` [Caml-list] CFP: Term and Graph Rewriting (TERMGRAPH2013) / ETAPS2013 Rachid Echahed
2012-12-10 8:00 ` [Caml-list] Second " Rachid Echahed
2012-12-26 8:35 ` [Caml-list] last " Rachid Echahed
2014-02-13 8:43 ` [Caml-list] CFP: Graph Computation Models (GCM 2014), York, July 2014 Rachid Echahed
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=4F105058.5010104@imag.fr \
--to=rachid.echahed@imag.fr \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).