From mboxrd@z Thu Jan 1 00:00:00 1970 X-Sympa-To: caml-list@inria.fr Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id q0DFegwh029270 for ; Fri, 13 Jan 2012 16:40:45 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Ao0BAP9PEE+BWB4RmWdsb2JhbAAoGq07AQEBAQEICwsHFCWBcwEDAh0bGxUQESwWDwkDAgECAUUTBgIBAYd+JLcFjB0ElRKFUYxv X-IronPort-AV: E=Sophos;i="4.71,504,1320620400"; d="scan'208";a="139176262" Received: from mx2.imag.fr (HELO rominette.imag.fr) ([129.88.30.17]) by mail1-smtp-roc.national.inria.fr with ESMTP; 13 Jan 2012 16:40:45 +0100 Received: from osiris.imag.fr (osiris.imag.fr [129.88.64.1]) by rominette.imag.fr (8.13.8/8.13.8) with ESMTP id q0DFcU7F000301 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO); Fri, 13 Jan 2012 16:38:30 +0100 Received: from [129.88.66.35] (arrows43.imag.fr [129.88.66.35]) by osiris.imag.fr (8.13.1/8.13.1/ImagV2.1) with ESMTP id q0DFe2W8021399; Fri, 13 Jan 2012 16:40:02 +0100 Message-ID: <4F105058.5010104@imag.fr> Date: Fri, 13 Jan 2012 16:40:08 +0100 From: Rachid Echahed User-Agent: Mozilla/5.0 (Windows NT 5.1; rv:8.0) Gecko/20111105 Thunderbird/8.0 MIME-Version: 1.0 To: Rachid.Echahed@imag.fr References: <4E85734A.9040501@imag.fr> In-Reply-To: <4E85734A.9040501@imag.fr> Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit X-Greylist: Sender IP whitelisted, not delayed by milter-greylist-4.2.2 (rominette.imag.fr [129.88.30.17]); Fri, 13 Jan 2012 16:38:30 +0100 (CET) X-IMAG-MailScanner-Information: Please contact MI2S MIM for more information X-MailScanner-ID: q0DFcU7F000301 X-IMAG-MailScanner: Found to be clean X-IMAG-MailScanner-SpamCheck: X-IMAG-MailScanner-From: rachid.echahed@imag.fr MailScanner-NULL-Check: 1327073913.18749@EpBQe7dgwQisx3mxbasE2A X-Validation-by: rachid.echahed@imag.fr Subject: [Caml-list] Last CFP: Term and Graph rewriting, special issue of MSCS -------------------------------------------------------------------------- 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 --------------------------------------------------------------------------