<!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>
Second CALL FOR PAPERS<br>
<br>
TERMGRAPH 2011<br>
6th International Workshop on<br>
Computing with Terms and Graphs<br>
<br>
a Satellite Event of ETAPS 2011<br>
Saarbrücken, Germany, April 2nd, 2011<br>
<br>
<a class="moz-txt-link-freetext" href="http://termgraph2011.imag.fr">http://termgraph2011.imag.fr</a><br>
<a class="moz-txt-link-freetext" href="http://www.termgraph.org.uk/">http://www.termgraph.org.uk/</a><br>
<br>
Full versions of best papers will be included in an issue of
the<br>
international journal Mathematical Structures in Computer Science
(MSCS)<br>
--------------------------------------------------------------------------<br>
<br>
Important Dates<br>
<br>
December 8, 2010 Abstract submission<br>
December 15, 2010 Paper submission<br>
January 16, 2011 Notification of acceptance<br>
February 4, 2011 Pre-proceedings version due<br>
<br>
--------------------------------------------------------------------------<br>
<br>
TERMGRAPH 2011 is a one-day satellite event of ETAPS
2011<br>
<a class="moz-txt-link-rfc2396E" href="http://www.etaps.org/"><http://www.etaps.org/></a>, which will take place in
Saarbrücken,<br>
Germany, from March 26 to April 3rd, 2011. Previous editions of
the<br>
TERMGRAPH workshops 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>
Aims and scope<br>
<br>
Research in term and graph rewriting ranges from theoretical
questions<br>
to practical issues. Computing with graphs handles the
sharing of<br>
common subexpressions in a natural and seamless way, and improves
the<br>
efficiency of computations in space and time. Sharing is
ubiquitous<br>
in several research areas, for instance : the modelling of first-
and<br>
higher-order term rewriting by (acyclic or cyclic) graph
rewriting,<br>
the modelling of biological or chemical abstract machines,
the<br>
implementation techniques of programming languages:
many<br>
implementations of functional, logic, object-oriented, concurrent
and<br>
mobile calculi are based on term graphs. Term graphs are also
used in<br>
automated theorem proving and symbolic computation systems
working on<br>
shared structures.<br>
<br>
The aim of this workshop is to bring together researchers
working in<br>
different domains on term and graph transformation and to foster
their<br>
interaction, to provide a forum for presenting new ideas and
work in<br>
progress, and to enable newcomers to learn about current
activities in<br>
term graph rewriting.<br>
<br>
--------------------------------------------------------------------------<br>
<br>
Topics of Interest<br>
<br>
Topics of interest are open and include all aspects of term graphs
and<br>
sharing of common subexpressions in rewriting, programming,
automated<br>
reasoning and symbolic computation. This includes (but is not
limited<br>
to): term rewriting, graph transformation, programming
languages,<br>
models of computation, graph-based languages, semantics
and<br>
implementation of programming languages, compiler
construction,<br>
pattern recognition, databases, bioinformatics, and
system<br>
descriptions.<br>
<br>
--------------------------------------------------------------------------<br>
<br>
Submissions and Publication<br>
<br>
Authors are invited to submit either regular papers (up to 15
pages),<br>
or position papers, system descriptions, work in progress,
extended<br>
abstracts (5-7 pages), via the EasyChair system, at URL<br>
<br>
<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 Proceedings will be published in Electronic
Proceedings in<br>
Theoretical Computer Science (EPTCS). Selected authors
will be<br>
invited to submit a full version of their papers after
the <br>
workshop. These submissions will pass through a second
round of<br>
reviewing and accepted contributions are to be included in a
special<br>
issue of the international journal Mathematical Structures in
Computer<br>
Science (MSCS).<br>
<br>
--------------------------------------------------------------------------<br>
<br>
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>