EOOLT 2013 takes place in Nottingham; UK; 19 April; hosted by the School of Computer Science at the University of Nottingham. It follows on from a successful series of earlier EOOLT workshops that took place in Berlin; Germany in 2007; Paphos; Cyprus in 2008; Oslo; Norway in 2010; and Zu¨rich; Switzerland in 2011. For further general information about EOOLT; see http://www.eoolt.org.
In all; 13 papers were submitted and ultimately accepted for presentation after thorough peer reviewing. Each paper received at least 3 independent reviews. The full; final versions of these papers can all be found in this volume; along with abstracts for the invited talk and two tool demonstrations. I believe the result is a very exciting and strong program for EOOLT 2013!
As always; making an event like EOOLT 2013 happen is very much a team effort. First of all; I would like to thank the authors for their contributions: without you; there would not be any EOOLT 2013 in the first place! Then I would like to thank the Program Committee and the additional reviewers who through thorough reviewing and engaged discussions set very high standards for the accepted contributions. The Steering Committee provided timely and helpful advice and other support throughout the organisational effort. I am particularly indebted to David Broman for providing various templates for the proceedings and the website. I would further like to thank Peter Berkesand and Linköping University Electronic Press for their invaluable help in putting together and publishing the proceedings. As to the local organisation; I owe a big thank you to John Capper and Nadine Holmes for help with countless practical arrangements. Additionally I gratefully acknowledge the support for EOOLT 2013 offered by Prof. Graham Hutton and the Functional Programming Laboratory; as well as the School of Computer Science for hosting the event and providing administrative support.
Henrik Nilsson (Chair)
Nottingham; March 2013