News and Events: Conferences

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

5-7 September 2016, 15th International Workshop on Termination (WST 2016), Obergurgl, Austria

Date: 5-7 September 2016
Location: Obergurgl, Austria
Deadline: 22 June 2016

The Workshop on Termination (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-fertilization of ideas from term rewriting and from the different programming language communities. The friendly atmosphere enables fruitful exchanges leading to joint research and subsequent publications. The event is held as part of CLA 2016

For more information, see http://cl-informatik.uibk.ac.at/events/wst-2016/

The 15th International 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 complexity or termination (for example in program transformation or theorem proving) are particularly welcome. Deadline for submission: June 22, 2016

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