[TYPES/announce] TERMGRAPH 2014: call for papers

[Raamsdonk, F. van]

*************************************************************************

  TERMGRAPH 2014: FIRST CALL FOR PAPERS

  8th International Workshop on Computing with Terms and Graphs
  (affiliated with RTA-TLCA as part of FLoC)

  July 13, 2014, Vienna

  http://cl-informatik.uibk.ac.at/events/termgraph-2014/

*************************************************************************

submission:      April 16, 2014
notification:    May 16,   2014
final version:   May 28,   2014
workshop:        July 13,  2014

*************************************************************************

Research in term and graph rewriting ranges from theoretical questions
to practical issues. Computing with graphs handles the sharing of common
subexpressions in a natural and seamless way, and improves the efficiency
of computations in space and time. Sharing is ubiquitous in several
research areas, for instance: the modelling of first- and higher-order
term rewriting by (acyclic or cyclic) graph rewriting, the modelling of
biological or chemical abstract machines, the implementation techniques
of programming languages: many implementations of functional, logic,
object-oriented, concurrent and mobile calculi are based on term graphs.
Term graphs are also used in automated theorem proving and symbolic
computation systems working on shared structures. The aim of this workshop
is to bring together researchers working in different domains on term and
graph transformation 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.

Previous editions of the workshop took place in Barcelona (2002), Rome
(2004), Vienna (2006), Braga (2007), York (2009), Saarbruecken (2011), and
Rome (2013). This year TERMGRAPH is affiliated with the joint RTA and TLCA
conference, which is part of FLoC, which in turn participates in the
Vienna Summer of Logic 2014.


*** 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):
- graph transformation
- graph-based implementations of lambda-calculus
- representation of concurrent systems
- models of computation
- graph-based languages
- semantics and implementation of programming languages
- compiler construction
- interaction nets and proof nets
- pattern recognition
- bioinformatics
- system descriptions


*** Submission ***

There are two categories of submissions:

(1) Extended abstracts describing new results, work in progress, or
   problems.
(2) Short versions of articles recently published or submitted elsewhere.
   Papers in this category are not considered for the post-workshop
   proceedings.

The page limit for submissions in both categories is 5 pages in EPTCS
style. Submissions should be marked with the category (either 1 or 2) and
submitted electronically in PDF via the EasyChair submission site:

   http://www.easychair.org/conferences/?conf=TERMGRAPH2014

Papers will be judged on relevance, originality, correctness, and
usefulness.

The proceedings of TERMGRAPH 2014 will be included on the FLoC USB flash
drive. Post-workshop proceedings of full versions of selected (category 1)
contributions will be published as a volume of EPTCS.


*** Program Committee ***

Beniamino Accattoli     Bologna University
Zena Ariola             University of Oregon
Guillaume Bonfant       LORIA-INRIA Nancy
Vincent Danos           University of Edinburgh
Wolfram Kahl            McMaster University
Damiano Mazza           CNRS-LIPN Paris
Aart Middeldorp         University of Innsbruck  (co-chair)
Pierre-Etienne Moreau   LORIA-INRIA Nancy
Femke van Raamsdonk     VU University Amsterdam  (co-chair)


*** Steering Committee ***

Andrea Corradini        University of Pisa
Maribel Fernández       King's College London
Ian Mackie              University of Sussex
Detlef Plump            University of York
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20140124/80efd507/attachment.html>