About
The International Workshop on Termination (WST) has been held in St. Andrews (1993), La Bresse (1995), Ede (1997), Dagstuhl (1999), Utrecht (2001), Valencia (2003), Aachen (2004), Seattle (2006), Paris (2007), and Leipzig (2009).
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.
The workshop also provides a ground for cross-fertilisation of ideas from term rewriting and from the different programming language communities. We hope to attain the same friendly atmosphere as in past workshops, which enabled fruitful exchanges leading to joint research and subsequent publications.
Topics
The 11th Workshop on Termination welcomes contributions on all aspects of termination and termination analysis.
Contributions from the imperative, constraint, functional, and logic programming communities, and papers investigating applications of termination (e.g. in program transformation or theorem proving) are particularly welcome.
For more details, see the call for papers.
Submissions
Submissions are short papers/extended abstract which should not exceed 5 pages. There will be no formal reviewing. The accepted papers will be made available electronically before the workshop.
Papers should be submitted electronically via the submission page:
http://www.easychair.org/conferences/?conf=wst2010
Final versions should be created using LaTeX and the style file easychair.cls.
Important Dates
| Paper Submission | April 11 | |
| Notification | April 25 | |
| Final versions due | May 17 | -- updated -- |
| Workshop | July 14-15 |
Invited Speaker
The keynote will be given by Elvira Albert from the Complutense University of Madrid.
Conference Venue
The workshop will be held as a satellite workshop of RTA and IJCAR at the Federated Logic Confernce (FLoC) which takes place in the School of Informatics at the University of Edinburgh.
Program Committee