WST traditionally brings together, in an informal setting, researchers interested in all aspects of termination and related topics. This includes all models and fields of computation, like rewriting systems, programming paradigms and languages, transitions systems etc. We welcome reports on basic research as well as on applications and implementations.
More information can be found here.
- Elvira Albert, Complutense University of Madrid