RTA-TLCA 2014 LNCS PROCEEDINGS: EDITOR'S PREFACE

This volume contains the proceedings of the 25th International Conference on Rewriting Techniques and Applications (RTA 2014) and 12th International Conference on Typed Lambda Calculus and Applications (TLCA 2014), which were held jointly July 14–17 2014, in Vienna, Austria.

RTA is the major forum for the presentation of research on all aspects of rewriting. Previous RTA conferences were held in Dijon (1985), Bordeaux (1987), Chapel Hill (1989), Como (1991), Montreal (1993), Kaiserslautern (1995), New Brunswick (1996), Sitges (1997), Tsukuba (1998), Trento (1999), Norwich (2000), Utrecht (2001), Copenhagen (2002), Valencia (2003), Aachen (2004), Nara (2005), Seattle (2006), Paris (2007), Hagenberg/Linz (2008), Brasilia (2009), Edinburgh (2010), Novi Sad (2011), Nagoya (2012), and Eindhoven (2013).

TLCA is the major forum for the presentation of research on all aspects of typed lambda calclus. Previous TLCA conferences were held in Utrecht (1993), Edinburgh (1995), Nancy (1997), L’Aquila (1999), Krak\'ow (2001), Valencia (2003), Nara (2005), Paris (2007), Brasılia (2009), Novi Sad (2011), and Eindhoven (2013).

Of the 87 papers submitted to RTA-TLCA 2014, the programme committee selected 31 for presentation at the conference. Moreover, it nominated the paper {\em Implicational Relevance Logic is 2-ExpTime-Complete} by Sylvain Schmitz for the Best Paper Award and {\em A Coinductive Confluence Proof for Infinitary Lambda-Calculus} by Łukasz Czajka for the Best Student Paper Award.

We are grateful to Nicola Gambino, Manfred Schmidt-Schauss, and Nobuko Yoshida for accepting our invitation to present selected topics of their choice and for enriching the conference by their invited talks, their participation, and their contributions to the present proceedings.

We used the EasyChair system for many aspects of the reviewing process. We wish to thank Andrei Voronkov and all others of the EasyChair team for this invaluable tool. Moreover, we wish to thank the editorial board of ARCoSS, in particular Vladimiro Sassone, for agreeing to publish these proceedings as a volume in the ARCoSS series.

RTA-TLCA 2014 was organized as part of the Federated Logic Conference (FLoC 2014), itself part of the Vienna Summer of Logic (VSL 2014). We would like to thank Gernot Salzer, the conference chair of RTA-TLCA 2014, as well as the other members the organizing committees of FLOC 2014 and VSL 2014 for their indispensable contribution to the success of this conference.

Last but not least we want to thank all members of the RTA-TLCA 2014 programme committee for their reviews, their constructive comments, and the pleasant collaboration.