WST 2016

15th International Workshop on Termination

September 5-7, 2016, Obergurgl, Austria

Program Committee

Ugo Dal Lago Bologna University
Jörg Endrullis VU University Amsterdam  
Yukiyoshi Kameyama   University of Tsukuba
Salvador Lucas Universidad Politécnica de Valencia
Aart Middeldorp   University of Innsbruck (co-chair)
Thomas Ströder RWTH Aachen
René Thiemann   University of Innsbruck   (co-chair)
Andreas Weiermann   Ghent University

Program

There will be 13 regular presentations at WST 2016: