Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

Please note that this newsitem has been archived, and may contain outdated information or links.

15-16 August 2006, Eighth International Workshop on Termination (WST 2006), Seattle, Washington, USA

Date: 15-16 August 2006
Location: Seattle, Washington, USA
Deadline: 19 May 2006

The Eighth International Workshop on Termination will delve into all aspects of termination of processes. The intent is to bring together, in an informal setting, researchers interested in all aspects of termination, whether this interest be practical or theoretical, primary or derived. The workshop is hoped to provide a ground for cross-fertilisation of ideas from term rewriting and from the different programming language communities.

For more information, an online registration form and a preliminary program, see http://www.cs.mu.oz.au/wst2006/

The Programme Committee cordially invites all researchers to submit their papers for presentation. Contributions from the constraint, functional, and logic programming communities, and papers investigating new applications of termination are particularly welcome. Submission deadline is May 19, 2006.

Please note that this newsitem has been archived, and may contain outdated information or links.