Department of Computer Science
University of Innsbruck
Home Research Teaching Members Events News Jobs
Events
ISR 2024 OSR 2023 HVW 2017 FISP AJSW 2016 CLA 2016 WST 2016 TERMGRAPH 2014 2FC 2014 IWC 2012 WST 2012 2FC 2011 AJSW 2010 PR 2010 ISR 2008 WRS 2008 AJSW 2007 PR 2006 AJSW 2005
TERMGRAPH 2014
background topics invited speakers program committees important dates submission proceedings call for papers (pdf)

TERMGRAPH 2014

Computing with Terms and Graphs

8th International Workshop
Vienna Summer o f Logic

13 July 2014, Vienna

Background

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), Saarbrücken (2011), and Rome (2013). The permanent TERMGRAPH site has further information. 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

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


Invited Speakers

Ian Mackie   École Polytechnique, Palaiseau   (joint with DCM 2014)
Samuel Mimram   CEA LIST, Saclay   (joint with IWC 2014)

Program

Click here.


Committees


Program Committee

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

Steering Committee

Andrea Corradini
Maribel Fernández
Ian Mackie
Detlef Plump

Important Dates

submission: April 30, 2014 (extended)
notification: May 16, 2014
final version: May 28, 2014
workshop: July 13, 2014

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. Papers will be judged on relevance, originality, correctness, and usefulness. The informal proceedings of TERMGRAPH 2014 will be included on the FLoC USB flash drive.


Proceedings

The post-proceedings have been published as volume 183 of EPTCS.