WST 2016

15th International Workshop on Termination

September 5-7, 2016, Obergurgl, Austria

Topics

Topics of interest include all aspects of termination. This includes (but is not limited to):

• certification of termination and complexity proofs
• challenging termination problems
• comparison and classification of termination methods
• complexity analysis in any domain
• implementation of termination and complexity methods
• implicit computational complexity
• infinitary normalization
• non-termination analysis and loop detection
• normalization in lambda calculi
• operational termination of conditional rewrite systems
• ordinal notation and subrecursive hierarchies
• SAT, SMT, and constraint solving for (non-)termination analysis
• scalability and modularity of termination methods
• termination analysis in any domain
• well-founded relations and well-quasi-orders