| WST 2006 | Eighth International Workshop on Termination Seattle, August 15 - 16, 2006 |
Overview
The Eighth International Workshop on Termination will delve into all aspects of termination of processes. It continues the sequence of successful workshops held in St. Andrews (1993), La Bresse (1995), Ede (1997), Dagstuhl (1999), Utrecht (2001), Valencia (2003), and Aachen (2004), attaining the same friendly atmosphere as those past workshops.
WST traditionally brings together, in an informal setting, researchers interested in all aspects of termination, whether this interest be practical or theoretical, primary or derived. The workshop also provides a ground for cross-fertilisation of ideas from term rewriting and from the different programming language communities.
WST 2006 will also reveal the results from the 2006 Termination Competition and includes a demonstration of termination tools.
Program
Invited Talks
-
Tuesday, August 15th, 09:00‑10:00
Byron Cook (Microsoft Research Cambridge)
Program termination analyses for free! [ppt] -
Wednesday, August 16th, 09:30‑10:30
Yuri Gurevich (Microsoft Research Redmond)
Program termination and well partial orderings [ppt]
Workshop Chairs
Alfons Geser, Leipzig University of Applied Sciences, GermanyHarald Søndergaard, University of Melbourne, Australia
Program Committee
Thomas Arts, IT Universitet Göteborg, SEAlfons Geser, HTWK Leipzig, DE
Dieter Hofbauer, Universität Kassel, DE
Claude Marché, Université Paris-Sud, FR
Andreas Podelski, Max-Planck-Institut für Informatik, DE
Henny Sipma, Stanford University, US
Harald Søndergaard, University of Melbourne, AU
Andreas Weiermann, Universiteit Utrecht, NL
