Department of Computer Science
University of Innsbruck
Home Research Teaching Members Events News Jobs
Events
ISR 2026 ISR 2024 OSR 2023 HVW 2017 FISP AJSW 2016 CLA 2016 WST 2016 TERMGRAPH 2014 2FC 2014 IWC 2012 WST 2012 2FC 2011 AJSW 2010 PR 2010 ISR 2008 WRS 2008 AJSW 2007 PR 2006 AJSW 2005
TERMGRAPH 2014
background topics invited speakers program committees important dates submission proceedings call for papers (pdf)

TERMGRAPH 2014

Computing with Terms and Graphs

8th International Workshop
Vienna Summer o f Logic

13 July 2014, Vienna

Proceedings

The post-proceedings have been published as volume 183 of EPTCS.