Computing with Terms and Graphs (TERMGRAPH)

9. TERMGRAPH 2016: Eindhoven, The Netherlands (part of ETAPS 2016)

8. TERMGRAPH 2014: Vienna, Austria

7. TERMGRAPH 2013: Rome, Italy (part of ETAPS 2013)

6. TERMGRAPH 2011: Saarbrücken, Germany (part of ETAPS 2011)

maintained by Schloss Dagstuhl LZI at University of Trier