[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[PVS] TERMGRAPH 2009 - Second Call for Papers [Deadline: December 15]

[Please apologize if you receive multiple copies of this message.]


			    TERMGRAPH 2009
		    5th International Workshop on
		   Computing with Terms and Graphs

		   a Satellite Event of ETAPS 2009
		       York, UK, March 22, 2009


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

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


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 15, 2008	   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),
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



Andrea Corradini
Dipartimento di Informatica
Pisa, Italy