Overview
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.
Program
Invited Talk
- Elvira Albert, Complutense University of Madrid
Program Chairs
Peter Schneider-Kamp, University of Southern Denmark, Denmark
Program Committee:
Michael Codish, Ben-Gurion University, Israel
Samir Genaim, Universidad Complutense de Madrid, Spain
Alexander Krauss, Technische Universität München, Germany
Georg Moser, University of Innsbruck, Austria
Albert Rubio, Universitat Politècnica de Catalunya, Spain
Andrey Rybalchenko, MPI-SWS, Germany
Johannes Waldmann, HTWK Leipzig, FB IMN, Germany