12th International Workshop on Termination
February 19 to February 23, 2012, Obergurgl, Austria
The goal of the Workshop on Termination is to be a venue for presentation and discussion of all topics in and around termination. In this way, the workshop tries to bridge the gaps between different communities interested and active in research in and around termination.
The 12th International Workshop on Termination welcomes contributions on all aspects of termination and complexity 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.
The workshop starts on Sunday, February 19 in the evening, where we meet at the Obergurgl University Center. Talks will commence on Monday, February 20 and last till Wednesday, February 22. The workshop will close Thursday morning on Februrary 23.
Call for Papers
|1st CfP||2nd CfP||3rd CfP|
Important Dates (NEW)
- submission: January 22, 2012
- notification: February 1, 2012
- final version: February 5, 2012
- early registration: February 2, 2012
- workshop: February 19 - 23, 2012
- Martin Hofmann, LMU München, Germany
- Alexander Krauss, QAware GmbH, Germany
- Fausto Spoto, Università di Verona, Italy
In order to safe money, time, and trees, the 12th Workshop on Termination only feature online proceedings, which are available here.