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.

Format

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

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

Invited Speakers

• Martin Hofmann, LMU München, Germany
• Alexander Krauss, QAware GmbH, Germany
• Fausto Spoto, Università di Verona, Italy

Proceedings

In order to safe money, time, and trees, the 12th Workshop on Termination only feature online proceedings, which are available here.