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
--------------------------------------------------------------------------
_______________________________________________
curry mailing list
curry_at_lists.RWTH-Aachen.DE
http://MailMan.RWTH-Aachen.DE/mailman/listinfo/curry
Received on Mo Okt 25 2010 - 18:27:53 CEST