Computing with Terms and Graphs (TERMGRAPH)

9. TERMGRAPH@ETAPS 2016: Eindhoven, The Netherlands

8. TERMGRAPH@VSL 2014: Vienna, Austria

7. TERMGRAPH@ETAPS 2013: Rome, Italy

6. TERMGRAPH@ETAPS 2011: Saarbrücken, Germany

maintained by Schloss Dagstuhl LZI at University of Trier