<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<html>
  <head>
    <meta content="text/html; charset=ISO-8859-1"
      http-equiv="Content-Type">
    <title></title>
  </head>
  <body text="#000000" bgcolor="#ffffff">
    <font face="Courier New, Courier, monospace" size="-1">Apologies for
      multiple copies <br>
-------------------------------------------------------------------------<br>
      <br>
      &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;Second CALL FOR PAPERS<br>
      <br>
      &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; TERMGRAPH 2011<br>
      &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 6th International Workshop on<br>
      &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; Computing with Terms and Graphs<br>
      <br>
      &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; a Satellite Event of ETAPS 2011<br>
      &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; Saarbr&uuml;cken, Germany, April 2nd, 2011<br>
      <br>
      &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; <a class="moz-txt-link-freetext" href="http://termgraph2011.imag.fr">http://termgraph2011.imag.fr</a><br>
      &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; <a class="moz-txt-link-freetext" href="http://www.termgraph.org.uk/">http://www.termgraph.org.uk/</a><br>
      <br>
      &nbsp;&nbsp;&nbsp;&nbsp; Full versions of best papers will be included in an issue of
      the<br>
      &nbsp;international journal Mathematical Structures in Computer Science
      (MSCS)<br>
--------------------------------------------------------------------------<br>
      <br>
      &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; Important Dates<br>
      <br>
      December 8, 2010&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; Abstract submission<br>
      December 15, 2010&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; Paper submission<br>
      January 16, 2011&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; Notification of acceptance<br>
      February 4, 2011&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; Pre-proceedings version due<br>
      <br>
--------------------------------------------------------------------------<br>
      <br>
      TERMGRAPH&nbsp;&nbsp; 2011&nbsp;&nbsp; is&nbsp; a&nbsp;&nbsp; one-day satellite&nbsp;&nbsp;&nbsp; event&nbsp; of&nbsp; ETAPS&nbsp;
      2011<br>
      <a class="moz-txt-link-rfc2396E" href="http://www.etaps.org/">&lt;http://www.etaps.org/&gt;</a>, which&nbsp;&nbsp;&nbsp; will&nbsp; take place&nbsp;&nbsp;&nbsp;&nbsp; in
      Saarbr&uuml;cken,<br>
      Germany, from March 26&nbsp; to April 3rd, 2011.&nbsp;&nbsp; Previous editions of
      the<br>
      TERMGRAPH&nbsp; workshops&nbsp; series (<a class="moz-txt-link-freetext" href="http://www.termgraph.org.uk/">http://www.termgraph.org.uk/</a>) took
      place<br>
      in Barcelona (2002), in Rome (2004), in Vienna (2006), in Braga
      (2007)<br>
      and in York (2009).<br>
      <br>
      &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; Aims and scope<br>
      <br>
      Research in term and graph rewriting ranges from theoretical
      questions<br>
      to practical&nbsp; issues.&nbsp; Computing with graphs&nbsp;&nbsp; handles the
      sharing&nbsp; of<br>
      common subexpressions in a natural and seamless&nbsp; way, and improves
      the<br>
      efficiency of&nbsp; computations in space&nbsp; and time.&nbsp; Sharing is
      ubiquitous<br>
      in several research areas, for instance : the&nbsp; modelling of first-
      and<br>
      higher-order&nbsp; term rewriting by (acyclic&nbsp; or&nbsp; cyclic) graph
      rewriting,<br>
      the&nbsp; modelling&nbsp;&nbsp; of biological&nbsp; or&nbsp; chemical&nbsp; abstract&nbsp;&nbsp; machines,
      the<br>
      implementation&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; techniques&nbsp;&nbsp;&nbsp; of&nbsp;&nbsp; programming&nbsp;&nbsp;&nbsp;&nbsp; languages:
      many<br>
      implementations of functional,&nbsp; logic, object-oriented, concurrent
      and<br>
      mobile calculi are based on term graphs.&nbsp; Term graphs are also
      used in<br>
      automated theorem proving and&nbsp; symbolic computation systems
      working on<br>
      shared structures.<br>
      <br>
      The aim of this workshop&nbsp; is to bring&nbsp; together researchers
      working in<br>
      different domains on term and graph transformation and to foster
      their<br>
      interaction, to provide a forum&nbsp; for presenting new&nbsp; ideas and
      work in<br>
      progress, and to enable newcomers to learn about current
      activities in<br>
      term graph rewriting.<br>
      <br>
--------------------------------------------------------------------------<br>
      <br>
      &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; Topics of Interest<br>
      <br>
      Topics of interest are open and include all aspects of term graphs
      and<br>
      sharing of common subexpressions&nbsp; in rewriting, programming,
      automated<br>
      reasoning and symbolic computation. This includes&nbsp; (but is not
      limited<br>
      to): term&nbsp;&nbsp;&nbsp; rewriting, graph transformation,&nbsp;&nbsp; programming
      languages,<br>
      models&nbsp;&nbsp; of&nbsp;&nbsp; computation,&nbsp; graph-based&nbsp;&nbsp; languages,&nbsp;&nbsp;&nbsp; semantics&nbsp;
      and<br>
      implementation&nbsp;&nbsp;&nbsp; of programming&nbsp;&nbsp; languages, compiler&nbsp;&nbsp;
      construction,<br>
      pattern&nbsp;&nbsp; recognition,&nbsp;&nbsp;&nbsp; databases,&nbsp;&nbsp; bioinformatics,&nbsp;&nbsp; and&nbsp;&nbsp;&nbsp;
      system<br>
      descriptions.<br>
      <br>
--------------------------------------------------------------------------<br>
      <br>
      &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; Submissions and Publication<br>
      <br>
      Authors are invited to submit either regular papers&nbsp; (up to 15
      pages),<br>
      or&nbsp; position papers, system&nbsp; descriptions, work&nbsp; in progress,
      extended<br>
      abstracts (5-7 pages), via the EasyChair system, at URL<br>
      <br>
      &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; <a class="moz-txt-link-freetext" href="http://www.easychair.org/conferences/?conf=termgraph2011">http://www.easychair.org/conferences/?conf=termgraph2011</a><br>
      <br>
      Submissions should be in PostScript or PDF format, using the<br>
      EPTCS style files (<a class="moz-txt-link-freetext" href="http://style.eptcs.org/">http://style.eptcs.org/</a>).<br>
      <br>
      The&nbsp; Proceedings&nbsp; will be&nbsp; published&nbsp;&nbsp; in&nbsp; Electronic&nbsp;
      Proceedings&nbsp; in<br>
      Theoretical&nbsp;&nbsp; Computer&nbsp; Science (EPTCS).&nbsp;&nbsp;&nbsp; Selected&nbsp; authors&nbsp;
      will be<br>
      invited&nbsp; to&nbsp; submit&nbsp; a&nbsp;&nbsp; full version&nbsp;&nbsp; of&nbsp;&nbsp; their papers after&nbsp;&nbsp;
      the <br>
      workshop.&nbsp; These&nbsp; submissions&nbsp; will&nbsp; pass&nbsp; through&nbsp; a second&nbsp;
      round of<br>
      reviewing and&nbsp; accepted contributions are&nbsp; to be&nbsp;included in a
      special<br>
      issue of the international journal Mathematical Structures in
      Computer<br>
      Science (MSCS).<br>
      <br>
--------------------------------------------------------------------------<br>
      <br>
      &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; Programme Committee<br>
      <br>
      Paolo Baldan, University of Padova, Italy<br>
      Andrea Corradini, University of Pisa, Italy<br>
      Frank Drewes, Umea University, Sweden<br>
      Rachid Echahed (chair), CNRS, LIG Laboratory, France<br>
      Tetsuo Ida, University of Tsukuba, Japan<br>
      Wolfram Kahl, McMaster University, Canada<br>
      Ian Mackie, Ecole Polytechnique, France<br>
      Detlef Plump, University of York, UK<br>
      <br>
--------------------------------------------------------------------------<br>
      <br>
      Contact<br>
      <br>
      Rachid Echahed, LIG Lab., Grenoble, France<br>
      <a class="moz-txt-link-abbreviated" href="mailto:echahed@imag.fr">echahed@imag.fr</a><br>
      <br>
--------------------------------------------------------------------------<br>
      <br>
    </font> <br>
  </body>
</html>