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
WST 2016
backgrond important dates topics competition submission program committee invited speaker program proceedings

WST 2016

15th International Workshop on Termination

September 5-7, 2016, Obergurgl, Austria

Invited Speaker

Reiner Hähnle   TU Darmstadt (slides) Refined Resource Analysis Based on Cost Relations