From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by sympa.inria.fr (Postfix) with ESMTPS id C62637EE56 for ; Mon, 10 Dec 2012 09:01:28 +0100 (CET) Received-SPF: None (mail1-smtp-roc.national.inria.fr: no sender authenticity information available from domain of Rachid.Echahed@imag.fr) identity=pra; client-ip=129.88.30.17; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="Rachid.Echahed@imag.fr"; x-sender="Rachid.Echahed@imag.fr"; x-conformance=sidf_compatible Received-SPF: Pass (mail1-smtp-roc.national.inria.fr: domain of Rachid.Echahed@imag.fr designates 129.88.30.17 as permitted sender) identity=mailfrom; client-ip=129.88.30.17; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="Rachid.Echahed@imag.fr"; x-sender="Rachid.Echahed@imag.fr"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail1-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@rominette.imag.fr) identity=helo; client-ip=129.88.30.17; receiver=mail1-smtp-roc.national.inria.fr; envelope-from="Rachid.Echahed@imag.fr"; x-sender="postmaster@rominette.imag.fr"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AhoCAAmVxVCBWB4Re2dsb2JhbABEvwcOAQEWEBYngh8BBR0VAQUbEwIQESwWDwkDAgECAUUTBgIBAQWICAQIvxmMPxUEhCoDklODM4EchE+NUYFj X-IronPort-AV: E=Sophos;i="4.84,250,1355094000"; d="scan'208";a="185354071" Received: from mx2.imag.fr (HELO rominette.imag.fr) ([129.88.30.17]) by mail1-smtp-roc.national.inria.fr with ESMTP; 10 Dec 2012 09:01:28 +0100 Received: from globule.imag.fr (globule.imag.fr [129.88.34.238]) by rominette.imag.fr (8.13.8/8.13.8) with ESMTP id qBA7oP3M032421 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO); Mon, 10 Dec 2012 08:50:25 +0100 Received: from [192.168.1.35] (mut38-4-82-233-116-125.fbx.proxad.net [82.233.116.125]) (authenticated bits=0) by globule.imag.fr (8.13.8/8.13.8) with ESMTP id qBA80UjE024014 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO); Mon, 10 Dec 2012 09:00:31 +0100 Message-ID: <50C5969F.2090003@imag.fr> Date: Mon, 10 Dec 2012 09:00:31 +0100 From: Rachid Echahed User-Agent: Mozilla/5.0 (Windows NT 5.1; rv:15.0) Gecko/20120907 Thunderbird/15.0.1 MIME-Version: 1.0 To: Rachid.Echahed@imag.fr References: <4E85734A.9040501@imag.fr> <4F105058.5010104@imag.fr> <4F7BDA75.9040404@imag.fr> <4FC8CBEE.10407@imag.fr> <4FF21605.1090908@imag.fr> <50877158.3000504@imag.fr> In-Reply-To: <50877158.3000504@imag.fr> Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 8bit X-Greylist: Sender IP whitelisted, not delayed by milter-greylist-4.2.2 (rominette.imag.fr [129.88.30.17]); Mon, 10 Dec 2012 08:50:26 +0100 (CET) X-IMAG-MailScanner-Information: Please contact MI2S MIM for more information X-MailScanner-ID: qBA7oP3M032421 X-IMAG-MailScanner: Found to be clean X-IMAG-MailScanner-SpamCheck: X-IMAG-MailScanner-From: rachid.echahed@imag.fr MailScanner-NULL-Check: 1355730628.28728@2rHQX4jWOFkrmm9PlKfxGQ X-Validation-by: rachid.echahed@imag.fr Subject: [Caml-list] Second CFP: Term and Graph Rewriting (TERMGRAPH2013) / ETAPS2013 ------------------------------------------------------------------------- CALL FOR PAPERS TERMGRAPH 2013 7th International Workshop on Computing with Terms and Graphs Rome, Italy, March 23rd, 2013 http://termgraph2013.imag.fr http://www.termgraph.org.uk Part of ETAPS 2013 http://www.etaps.org/ -------------------------------------------------------------------------- Important Dates December 20, 2012 Abstract submission January 7, 2013 Paper submission January 25, 2013 Notification of acceptance February 10, 2013 Proceedings version due -------------------------------------------------------------------------- Aims and scope 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. TERMGRAPH 2013 is a one-day satellite event of ETAPS 2013 , which will take place in Rome, Italy, from March 16 to March 24, 2013. Previous editions of the TERMGRAPH workshop series (http://www.termgraph.org.uk/) took place in Barcelona (2002), in Rome (2004), in Vienna (2006), in Braga (2007) in York (2009) and in Saarbrücken (2011). -------------------------------------------------------------------------- Topics of Interest Topics of interest are open and 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): term rewriting, graph transformation, graph-based implementations of lambda-calculus, programming languages, models of computation, graph-based languages, semantics and implementation of programming languages, compiler construction, pattern recognition, databases, bioinformatics, and system descriptions. -------------------------------------------------------------------------- Submissions and Publication Authors are invited to submit either regular papers (up to 15 pages), or position papers, system descriptions, work in progress, extended abstracts (5-7 pages), via the EasyChair system, at URL https://www.easychair.org/conferences/?conf=termgraph2013 Submissions should be in PDF format, using the EPTCS style files (http://style.eptcs.org/). The Proceedings will be published in Electronic Proceedings in Theoretical Computer Science (EPTCS). -------------------------------------------------------------------------- Programme Committee Patrick Bahr, University of Copenhagen, Denmark Paolo Baldan, University of Padova, Italy Andrea Corradini, University of Pisa, Italy Frank Drewes, Umea University, Sweden Rachid Echahed (co-chair), CNRS and University of Grenoble, France Maribel Fernandez, King's College London, UK Clemens Grabmayer, Utrecht University, the Netherlands Wolfram Kahl, McMaster University, Canada Ian Mackie, Ecole Polytechnique, France Detlef Plump (co-chair), University of York, UK -------------------------------------------------------------------------- Organizers and Contact Rachid Echahed, CNRS and University of Grenoble, France Detlef Plump, University of York, UK You can contact TERMGRAPH 2013 organizers via termgraph2013@imag.fr