From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id pAM5inFe031838 for ; Tue, 22 Nov 2011 06:44:49 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AvYCAPg1y06BWB4RgWdsb2JhbABDDqpfAQEWJiWBcwEDAh0bGwEUEBEsFg8JAwIBAgFFBwwGAgEBiAm0Z4pPBJRAhT6MEzg X-IronPort-AV: E=Sophos;i="4.69,551,1315173600"; d="scan'208";a="120314680" Received: from mx2.imag.fr (HELO rominette.imag.fr) ([129.88.30.17]) by mail4-smtp-sop.national.inria.fr with ESMTP; 22 Nov 2011 06:44:43 +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 pAM5ciDT012340 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO); Tue, 22 Nov 2011 06:38:46 +0100 Received: from [129.88.58.140] (echahed-vpn.imag.fr [129.88.58.140]) by osiris.imag.fr (8.13.1/8.13.1/ImagV2.1) with ESMTP id pAM5ho4U032561; Tue, 22 Nov 2011 06:43:51 +0100 Message-ID: <4ECB36B4.6090503@imag.fr> Date: Tue, 22 Nov 2011 06:44:20 +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, rewriting@ens-lyon.fr, gratra@uni-paderborn.de, gcm2010@imag.fr, gdr-im@gdr-im.fr, gdr.gpl@imag.fr, alp-diffusion@univ-lille1.fr, easst-members@cs.uni-potsdam.de, concurrency@tue.nl, lics@informatik.hu-berlin.de, EAPLS@JISCMAIL.AC.UK, eacsl@dimi.uniud.it, formal-methods@cs.uidaho.edu, haskell@haskell.org, caml-list@inria.fr, curry@informatik.rwth-aachen.de References: <4E85734A.9040501@imag.fr> In-Reply-To: <4E85734A.9040501@imag.fr> X-Forwarded-Message-Id: <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]); Tue, 22 Nov 2011 06:38:47 +0100 (CET) X-IMAG-MailScanner-Information: Please contact MI2S MIM for more information X-MailScanner-ID: pAM5ciDT012340 X-IMAG-MailScanner: Found to be clean X-IMAG-MailScanner-SpamCheck: X-IMAG-MailScanner-From: rachid.echahed@imag.fr MailScanner-NULL-Check: 1322545127.98548@6cgzEoGt85bAPEE71KYWog X-Validation-by: rachid.echahed@imag.fr Subject: [Caml-list] Second CFP: Term and Graph rewriting, special issue of MSCS -------------------------------------------------------------------------- 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 --------------------------------------------------------------------------