WST 2018 - 2018 16th International Workshop on Termination

The 16th International Workshop on Termination welcomes contributions on all aspects of termination. In particular, papers investigating applications of termination (for example in complexity analysis, program analysis and transformation, theorem proving, program correctness, modeling computational systems, etc.) are very welcome.
Topics of interest include (but are not limited to):
abstraction methods in termination analysis
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
non-termination analysis and loop detection
normalization and infinitary normalization
operational termination of logic-based 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 (lambda calculus, declarative programming, rewriting, transition systems, etc.)
well-founded relations and well-quasi-orders