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
Proceedings
PDF