Through the 6th International School on Rewriting, we are proud to honor Alan Turing in this Alan Turing Year. His connection with rewriting is clear and important. His model of computation shares much with term rewriting systems and was a main inspiration for the theory of abstract reduction and this of rewriting. In parallel, he published five papers on lambda-calculus, being eager to show the connection between his machines and the process of beta-reduction. To those, one shall add his extremely important and premonitory proof of normalization of the simply typed lambda calculus, published by Robin Gandy.

Pierre Lescanne
(École Normale Supérieure de Lyon)