[Please apologize if you receive multiple copies of this message.]
-----------------------------------------------------------------------------
FINAL CALL FOR PAPERS
TERMGRAPH 2009
5th International Workshop on
Computing with Terms and Graphs
a Satellite Event of ETAPS 2009
York, UK, March 22, 2009
http://www.di.unipi.it/~andrea/Workshops/TG09/
-----------------------------------------------------------------------------
Extended submission deadline: December 22, 2008
TERMGRAPH 2009 is a one-day satellite event of ETAPS 2009
<http://www.cs.york.ac.uk/etaps09>, which will take place in York, UK,
from March 22 to 29. Previous editions of the TERMGRAPH workshops
series took place in Barcelona (2002), in Rome (2004), in Vienna
(2006), and in Braga (2007).
Aims and scope
The advantage of computing with graphs rather than terms (strings or
trees) is that common subexpressions can be shared, which improves the
efficiency of computations in space and time. Sharing is ubiquitous in
implementations of programming languages: many implementations of
functional, logic, object-oriented and concurrent calculi are based on
term graphs. Term graphs are also used in symbolic computation systems
and automated theorem proving.
Research in term and graph rewriting ranges from theoretical questions
to practical implementation issues. Many different research areas are
included, for instance: the modelling of first- and higher-order term
rewriting by (acyclic or cyclic) graph rewriting, the use of graphical
frameworks such as interaction nets and sharing graphs to model
strategies of evaluation (for instance, optimal reduction in the
lambda calculus), rewrite calculi on cyclic higher-order term graphs
for the semantics and analysis of functional programs, graph reduction
implementations of programming languages, graphical calculi modelling
concurrent and mobile computations, object-oriented systems, graphs as
a model of biological or chemical abstract machines, and automated
reasoning and symbolic computation systems working on shared
structures.
The aim of this workshop is to bring together researchers working in
these different domains 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 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 an extended abstract (5-7 pages)
or a complete paper (up to 15 pages) electronically by December 15,
2008, via the EasyChair system, at URL
http://www.easychair.org/conferences/?conf=termgraph2009
Preliminary proceedings will be distributed at the
workshop. Submissions should be in PostScript or PDF format, using the
ENTCS style files.
After the workshop, authors will be invited to submit a revised
version (up to 15 pages) of their presentation. Accepted contributions
will appear, most probably, in a issue of Elsevier's Electronic
Notes in Theoretical Computer Science (ENTCS) (negotiation is ongoing).
-----------------------------------------------------------------------------
Important Dates
December 22, 2008 [Extended] Submission deadline
January 12, 2009 Notification of acceptance
February 2, 2009 Pre-proceedings version due
March 22, 2009 Workshop in York
[March 22-29, 2009 ETAPS Conference]
May 15, 2009 Submission Deadline for ENTCS Post-proceedings:
July 1, 2009 Notification
September 1, 2009 Final Version due
-----------------------------------------------------------------------------
Programme Committee
Andrea Corradini, Dipartimento di Informatica, Pisa, Italy [Chair]
Rachid Echahed, CNRS, Laboratoire d'Informatique de Grenoble (LIG), France
Marko van Eekelen, Radboud University of Nijemegen, The Netherlands
Maribel Fernández, King's College London, UK
Ian Mackie, Ecole Polytechnique, France
Detlef Plump, University of York, UK
-----------------------------------------------------------------------------
Contact
Andrea Corradini
[email protected]
Dipartimento di Informatica
Pisa, Italy
-----------------------------------------------------------------------------
_______________________________________________
clean-list mailing list
[email protected]
http://mailman.science.ru.nl/mailman/listinfo/clean-list
