WST 2010: July 14-15

11th International Workshop on Termination

associated with IJCAR and RTA

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

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