WST 2014 INFORMAL PROCEEDINGS: EDITOR'S PREFACE

This volume contains the informal proceedings of the 14th International Workshop on Termination, to be held on 17-18 July 2014 in Vienna, Austria.

The International Workshop on Termination (WST) 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-fertilisation of ideas from term rewriting and from the different programming language communities.

WST 2014 continues the tradition of 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), Edinburgh (2010), Obergurgl (2012), and Bertinoro (2013).

As in 2006 and 2010, also WST 2014 is part of the Federated Logic Conference, which in 2014 is part of an even larger event, the Vienna Summer of Logic 2014. In particular, WST is affiliated with the following FLoC conferences:

• 26th International Conference on Computer Aided Verification (CAV)
• 7th International Joint Conference on Automated Reasoning (IJCAR)
• 25th International Conference on Rewriting Techniques and Applications (RTA) joint with the 12th International Conference on Typed Lambda Calculi and Applications (TLCA)

The 14th Workshop on Termination features 19 regular extended abstracts, contained in this volume, and an invited talk by Jasmin Fisher on Termination of Biological Programs.

I would like to thank everyone who helped to prepare and run the workshop: the participants, the members of the programme committee, and the local organisers.