Computing with Terms and Graphs

8th International Workshop
Vienna Summer o f Logic

13 July 2014, Vienna


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.