Proceedings 8th International Workshop on Computing with Terms and Graphs
Aart Middeldorp (University of Innsbruck), Femke van Raamsdonk (VU, University Amsterdam)
TL;DR
This volume compiles extended and peer-reviewed papers from the 8th International Workshop on Computing with Terms and Graphs, focusing on advances in formal methods, logic, and graph computation within the context of the Federated Logic Conference.
Contribution
It presents significantly extended versions of workshop papers, including an invited contribution, advancing research in computing with terms and graphs.
Findings
Extended versions of workshop papers with new insights
Peer-reviewed contributions enhancing formal methods
Includes invited expert contribution
Abstract
This volume contains the post-proceedings of the 8th International Workshop on Computing with Terms and Graphs (TERMGRAPH 2014). The workshop took place in Vienna on July 13, 2014 and was affiliated with the joint RTA and TLCA conference, which was part of the Federated Logic Conference (FLoC), which in turn participated in the Vienna Summer of Logic (VSL) 2014. The four regular papers in these proceedings are significantly extended versions of their pre-proceedings version. They were subjected to an additional round of reviewing. The paper by Samuel Mimram is an invited contribution.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.