12th International Workshop on Termination (WST 2012) : WST 2012, February 19–23, 2012, Obergurgl, Austria / ed. by Georg Moser

This volume contains the proceedings of the 12th International Workshop on Termination (WST 2012), to be held February 19–23, 2012 in 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 in Obergurgl continues the successful workshops held in St. Andrews (1993), La Bresse (1995), Ede (1997), Dagstuhl (1999), Utrecht (2001), Valencia (2003), Aachen (2004), Seattle (2006), Paris (2007), Leipzig (2009), and Edinburgh (2010). The 12th International Workshop on Termination did welcome 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) were particularly welcome. We did receive 18 submissions which all were accepted. Each paper was assigned two reviewers. In addition to these 18 contributed talks, WST 2012, hosts three invited talks by Alexander Krauss, Martin Hofmann, and Fausto Spoto

On the Rozansky-Witten weight systems

Ideas of Rozansky and Witten, as developed by Kapranov, show that a complex symplectic manifold X gives rise to Vassiliev weight systems. In this paper we study these weight systems by using D(X), the derived category of coherent sheaves on X. The main idea (stated here a little imprecisely) is that D(X) is the category of modules over the shifted tangent sheaf, which is a Lie algebra object in D(X); the weight systems then arise from this Lie algebra in a standard way. The other main results are a description of the symmetric algebra, universal enveloping algebra, and Duflo isomorphism in this context, and the fact that a slight modification of D(X) has the structure of a braided ribbon category, which gives another way to look at the associated invariants of links. Our original motivation for this work was to try to gain insight into the Jacobi diagram algebras used in Vassiliev theory by looking at them in a new light, but there are other potential applications, in particular to the rigorous construction of the (1+1+1)-dimensional Rozansky-Witten TQFT, and to hyperkaehler geometry