Proceedings 5th International Workshop on Higher-Order Rewriting
Eduardo Bonelli (Universidad Nacional de Quilmes)
TL;DR
HOR 2010 is a conference dedicated to discussing recent advances, ongoing research, and work-in-progress in the field of higher-order rewriting, fostering an informal and collaborative environment.
Contribution
This paper introduces HOR 2010, providing a platform for sharing recent developments and ongoing research in higher-order rewriting.
Findings
Facilitates collaboration among researchers in higher-order rewriting
Showcases recent research and progress in the field
Establishes a recurring forum for the community
Abstract
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).
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.