Proceedings of the 5th International Workshop on Higher-Order Rewriting

EDUARDO BONELLI

Open access

Año: 2010 p. 72

Electronic Proceedings in Theoretical Computer Science EPTCS 49, ISSN 2075-2180 HOR 2010 is a forum to present work concerning all aspects of higher-order rewriting. The aim is to provide an informal and friendly setting to discuss recent work and work in progress. Previous editions of HOR were held in Copenhagen - Denmark (HOR 2002), Aachen - Germany (HOR 2004), Seattle - USA (HOR 2006) and Paris - France (HOR 2007). In addition to an interesting set of submissions, this year we had the following invited speakers to whom I would like to give thanks: * Maribel Fernández (King´s College London) who talked about "Closed Nominal Rewriting: Properties and Applications" and * Silvia Ghilezan (University of Novi Sad) who talked about "Computational Interpretations of Logic". My appreciation also to the members of the PC (Zena Ariola, Frédéric Blanqui, Mariangiola Dezani-Ciancaglini and Roel de Vrijer) for lending their time and expertise, to the referees, and to Delia Kesner and Femke van Raamsdonk for providing valuable support. Thanks also to GDR-IM which awarded funds to HOR´2010 that were used for supporting presentation of papers by students. Finally, I would like to thank the organizers of FLoC 2010 and affiliated events for contributing towards such an exciting event. Eduardo Bonelli (Universidad Nacional de Quilmes) Editor