[TYPES] CFP: TERMGRAPH 2006

[Ian Mackie]

Call for Papers

3rd International Workshop on Term Graph Rewriting
TERMGRAPH 2006 1 April 2006, Vienna, Austria
A satellite event of ETAPS 2006

http://www.dcs.kcl.ac.uk/events/TERMGRAPH2006/

Term graph rewriting is concerned with the representation of
functional expressions as graphs and the evaluation of these
expressions by rule-based graph transformation. The advantage of using
graphs rather than 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 functional and logic
programming languages, systems for automated reasoning, and symbolic
computation systems, etc.

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. TERMGRAPH 2006 will be a one-day satellite event of the
ETAPS 2006, which will take place in Vienna, 2006. The first TERMGRAPH
workshop took place in Barcelona in 2002 and the second in Rome in
2004.

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):
Theory of first-order and higher-order term graph rewriting; Graph
rewriting in lambda calculus (sharing graphs, interaction nets,
optimality); Applications in functional, logic and functional-logic
programming; Applications in automated reasoning and symbolic
computation; Implementation issues; System descriptions.

Invited Speaker

Ugo Montanari, University of Pisa, Italy

Submissions and Publication

Authors are invited to submit an extended abstract (max. 10 pages) by
e-mail to ian.mackie at kcl.ac.uk by 7 January, 2006. Preliminary
proceedings will be available at the workshop. Submissions should be
in PostScript or PDF format, using ENTCS style files. After the
workshop authors are invited to submit a full paper of their
presentation. Accepted contributions will appear in an issue of
Elsevier's Electronic Notes in Theoretical Computer Science.

Important Dates

Submission deadline for Extended Abstracts:  7 January, 2006
Notification: 10 February, 2006
Pre-proceedings version due: 15 March, 2006
Workshop: 1 April, 2006
Submission deadline for ENTCS: 15 June, 2006.
Notification: 15 September, 2006.
Final Versions: 15 October, 2006.

Programme Committee

Zena Ariola,  University of Oregon, USA
Fabio Gadducci, University of Pisa, Italy
Pierre Lescanne, ENS Lyon, France
Ian Mackie, King's College London, UK (Chair)
Aart Middeldorp, University of Innsbruck, Austria
Rinus Plasmeijer,   Radboud University Nijmegen, Netherlands
Detlef Plump, University of York, UK
Vladimiro Sassone,  University of Sussex, UK

Organizing Committee

Maribel Fernandez, King's College London, UK
Bernhard Gramlich, Vienna University of Technology, Austria

Termgraph 2006 is Sponsored by King's College London, Department of 
Computer Science