TERMGRAPH 2014

Computing with Terms and Graphs

8th International Workshop
Vienna Summer o f Logic

13 July 2014, Vienna

Important Dates

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