[TYPES/announce] CFP: TERMGRAPH 2007
Ian Mackie
ian.mackie at kcl.ac.uk
Tue Oct 31 18:27:16 EST 2006
======================================================================
Call for Papers
TERMGRAPH 2007
Workshop on Computing with Terms and Graphs
http://www.termgraph.org.uk
Braga, Portugal
31 March 2007
A satellite event of ETAPS 2007
=======================================================================
The advantage of computing with graphs rather than terms is that
common subexpressions can be shared, improving the efficiency of
computations in space and time. Sharing is ubiquitous in
implementations of programming languages: many functional, logic,
object-oriented and concurrent calculi are implemented using term
graphs. Research in term and graph rewriting ranges from theoretical
questions to practical implementation issues. Different research areas
include: 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 (optimal reduction),
rewrite calculi 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 and graph
rewriting. TERMGRAPH 2007 will be a one-day satellite event of
ETAPS 2007, which will take place in Braga, Portugal. The first
TERMGRAPH workshop took place in Barcelona in 2002, the second in Rome
in 2004, and the third in Vienna in 2006.
Topics
------
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 a short paper (5-7 pages) or a
complete paper (12 pages) by e-mail to
mackie at lix.polytechnique.fr by 29 December, 2006. Preliminary
proceedings will be available at the workshop. Submissions should be
in PostScript or PDF format, using ENTCS style files.
Important Dates
---------------
Submission deadline: 29 December, 2006
Notification: 1 February, 2007
Pre-proceedings version due: 9 March, 2007
Workshop: 31 March, 2007
Programme Committee
-------------------
Zena Ariola, University of Oregon, USA
Andrea Corradini, University of Pisa, Italy
Maribel Fernandez, King's College London, UK
Bernhard Gramlich, Vienna University of Technology, Austria
Annegret Habel, University of Oldenburg, Germany
Claude Kirchner, INRIA & LORIA, France
Jean-Jacques Levy, INRIA, France
Ian Mackie, King's College London & Ecole polytechnique, France (co-chair)
Aart Middeldorp, University of Innsbruck, Austria
Ugo Montanari, University of Pisa, Italy
Jorge Sousa Pinto, University of Minho, Braga, Portugal
Detlef Plump, University of York, UK (co-chair)
Arend Rensink, University of Twente, NL
More information about the Types-announce
mailing list