TERMGRAPH 2002 (2nd call for papers)

Detlef Plump det@cs.york.ac.uk
Mon, 06 May 2002 14:00:35 +0100


=======================================================================
                       Second Call for Papers


                           TERMGRAPH 2002
           
            International Workshop on Term Graph Rewriting

                          Barcelona, Spain
                           7 October 2002
                        
                   A satellite event of ICGT 2002
     The First International Conference on Graph Transformation 
                  (http://www.lsi.upc.es/icgt2002/)

=======================================================================

Background and Aims
-------------------

Term graph rewriting is concerned with the representation of 
functional expressions as graphs and the evaluation of these 
expressions by rule-based graph transformation. Using graphs
rather than strings or trees allows to share common subexpressions, 
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. 

Research in term graph rewriting ranges from theoretical questions to 
practical implementation issues. It includes such different lines as 
the modelling of (finite or infinitary) first-order term rewriting by 
(acyclic or cyclic) graph rewriting, rewrite rules on so-called 
sharing graphs for Levy-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 functional programming languages, 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. TERMGRAPH 2002 will be a one-day satellite event of the
International Conference on Graph Transformation (ICGT 2002), which
will take place October 8-11, 2002, in Barcelona.


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):

* Theory of first-order and higher-order term graph rewriting
* Graph rewriting in lambda calculus (sharing graphs, optimality)
* Applications in functional, logic and functional-logic programming
* Applications in automated reasoning and symbolic computation
* Implementation issues
* System descriptions


Submissions 
-----------

Authors are invited to submit an extended abstract of 5 to 10 pages by 
e-mail to the program chair (det@cs.york.ac.uk). Submissions should be 
in PostScript format. It is strongly recommended to use LaTeX and ENTCS 
style files (http://math.tulane.edu/~entcs/). 


Publication
-----------

Accepted contributions will appear in an issue of Elsevier's Electronic 
Notes in Theoretical Computer Science. Preliminary proceedings will be 
available at the workshop.


Important Dates
---------------

Submission deadline:  June 15, 2002
Notification:         July 15, 2002
Final version due:    September 6, 2002   
Workshop:             October 7, 2002
ICGT 2002:            October 8-11, 2002


Program Committee
-----------------

Zena M. Ariola        University of Oregon, Eugene (US)
Richard Banach        University of Manchester (UK)
Rachid Echahed        IMAG, Grenoble (FR)
Richard Kennaway      University of East Anglia, Norwich (UK)
Jan Willem Klop       Free University of Amsterdam (NL)
Rinus Plasmeijer      University of Nijmegen (NL)
Detlef Plump          University of York (UK), chair


Contact
-------

Dr. Detlef Plump
Department of Computer Science
The University of York
Heslington, York YO10 5DD
United Kingdom
E-mail: det@cs.york.ac.uk
Phone: +44-1904-434778
Fax: +44-1904-432767


Further Information
-------------------

TERMGRAPH 2002: http://www.cs.york.ac.uk/~det/Termgraph_2002/cfp.html
ICGT 2002: http://www.lsi.upc.es/icgt2002/