[Haskell] CFP: Term and Graph Rewriting/TERMGRAPH 2011

Rachid Echahed Rachid.Echahed at imag.fr
Mon Oct 25 15:34:44 EDT 2010


Apologies for multiple copies
-------------------------------------------------------------------------

                          CALL FOR PAPERS

                           TERMGRAPH 2011
                    6th International Workshop on
                   Computing with Terms and Graphs

                   a Satellite Event of ETAPS 2011
                Saarbrücken, Germany, April 2nd, 2011

http://termgraph2011.imag.fr
http://www.termgraph.org.uk/

      Full versions of best papers will be included in an issue of the
  international journal Mathematical Structures in Computer Science (MSCS)
--------------------------------------------------------------------------

TERMGRAPH   2011   is  a   one-day satellite    event  of  ETAPS  2011
<http://www.etaps.org/>, which    will  take place     in Saarbrücken,
Germany, from March 26  to April 3rd, 2011.   Previous editions of the
TERMGRAPH  workshops  series (http://www.termgraph.org.uk/) took place
in Barcelona (2002), in Rome (2004), in Vienna (2006), in Braga (2007)
and in York (2009).

                 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.

--------------------------------------------------------------------------

               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,   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

http://www.easychair.org/conferences/?conf=termgraph2011

Submissions should be in PostScript or PDF format, using the
EPTCS style files (http://style.eptcs.org/).

Preliminary proceedings will be distributed at the workshop.  Selected
authors will be invited to submit a full version of their papers after
the  workshop. These submissions  will pass through  a second round of
reviewing and accepted contributions are to be  published as a special
issue of the international journal Mathematical Structures
in Computer Science (MSCS).

--------------------------------------------------------------------------

                Important Dates

December 8, 2010       Abstract submission
December 15, 2010      Paper submission
January 16, 2011       Notification of acceptance
February 4, 2011       Pre-proceedings version due

--------------------------------------------------------------------------

              Programme Committee

Paolo Baldan, University of Padova, Italy
Andrea Corradini, University of Pisa, Italy
Frank Drewes, Umea University, Sweden
Rachid Echahed (chair), CNRS, LIG Laboratory, France
Tetsuo Ida, University of Tsukuba, Japan
Wolfram Kahl, McMaster University, Canada
Ian Mackie, Ecole Polytechnique, France
Detlef Plump, University of York, UK

--------------------------------------------------------------------------

Contact

Rachid Echahed, LIG Lab., Grenoble, France
echahed at imag.fr

--------------------------------------------------------------------------

-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.haskell.org/pipermail/haskell/attachments/20101025/18fdb02b/attachment.html


More information about the Haskell mailing list