TERMGRAPH 2014

Computing with Terms and Graphs

8th International Workshop
Vienna Summer o f Logic

13 July 2014, Vienna

Invited Speakers

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