<div dir="ltr"><br>**** CALL FOR SUBMISSIONS ****<br><br>HOR 2025 - 12th International Workshop on Higher-Order Rewriting<br>July 14th, 2025<br>Birmingham, United Kingdom<br><a href="https://urldefense.com/v3/__https://hor2025.github.io/__;!!IBzWLUs!XA2bYgNQ2BYF1j4oCuSH_Kxj5ObAW3sL9lirHWlKFmjb_6lljA0v8ivMLPB2x0wIV_vx4CLebEDpkmYzMWOnYwFmOSkNRsdmKR0z$">https://hor2025.github.io/</a><br><br>Affiliated with FSCD 2025: <a href="https://urldefense.com/v3/__https://fscd2025.github.io/__;!!IBzWLUs!XA2bYgNQ2BYF1j4oCuSH_Kxj5ObAW3sL9lirHWlKFmjb_6lljA0v8ivMLPB2x0wIV_vx4CLebEDpkmYzMWOnYwFmOSkNRldzbAHQ$">https://fscd2025.github.io/</a><br><br><br>## OVERVIEW<br><br>HOR is a forum to present work concerning all aspects of higher-order<br>rewriting. The aim is to provide an informal and friendly setting to discuss<br>recent work and work in progress concerning higher-order rewriting, broadly<br>construed. This includes rewriting systems that have functional variables or<br>bound variables, the lambda-calculus and combinatory logic being paradigmatic<br>examples.<br><br><br>## TOPICS<br><br>The following is a non-exhaustive list of topics for the workshop:<br><br>* Applications: proof checking, theorem proving, generic programming,<br>  declarative programming, program transformation, automated<br>  termination/confluence/equivalence analysis tools.<br><br>* Foundations: pattern matching, unification, strategies, narrowing,<br>  termination, syntactic properties, type theory, complexity of derivations.<br><br>* Frameworks: term rewriting, conditional rewriting, graph rewriting, net<br>  rewriting, comparisons of different frameworks.<br><br>* Implementation: explicit substitution, rewriting tools, compilation<br>  techniques.<br><br>* Semantics: semantics of higher-order rewriting, categorical rewriting,<br>  higher-order abstract syntax, games and rewriting.<br><br><br>## SUBMISSION GUIDELINES<br><br>To give a presentation at the workshop, please submit an extended<br>abstract (between 2 to 5 pages) via Easychair:<br><br>  <a href="https://urldefense.com/v3/__https://easychair.org/conferences/?conf=hor2025__;!!IBzWLUs!XA2bYgNQ2BYF1j4oCuSH_Kxj5ObAW3sL9lirHWlKFmjb_6lljA0v8ivMLPB2x0wIV_vx4CLebEDpkmYzMWOnYwFmOSkNRlsSflZE$">https://easychair.org/conferences/?conf=hor2025</a><br><br>Please use LaTeX and the Easychair style to prepare your submission:<br><br>  <a href="https://urldefense.com/v3/__https://easychair.org/publications/easychair.zip__;!!IBzWLUs!XA2bYgNQ2BYF1j4oCuSH_Kxj5ObAW3sL9lirHWlKFmjb_6lljA0v8ivMLPB2x0wIV_vx4CLebEDpkmYzMWOnYwFmOSkNRtdDBYp7$">https://easychair.org/publications/easychair.zip</a><br><br>HOR is a platform for discussing open questions, ongoing research, and new<br>perspectives, as well as new results. Extended abstracts describing work in<br>progress, preliminary results, research projects, or problems in higher-order<br>rewriting are very welcome. Specifically, short versions of recently published<br>papers are welcome, and submission to HOR does not preclude formal publication<br>at other venues.<br><br>The workshop has informal electronic proceedings that will be made available on<br>the workshop website.<br><br><br>## IMPORTANT DATES<br><br>* Submission deadline: 15 May  2025<br>* Notification:         6 June 2025<br>* Final version:       20 June 2025<br>* Workshop:            14 July 2025<br><br><br>## COMMITTEES<br><br>** Program Committee **<br><br>* Zena Ariola - University of Oregon, United States<br>* Thibaut Balabonski - Université Paris-Saclay, France<br>* Pablo Barenbaum (chair) - Universidad Nacional de Quilmes & Universidad de<br>  Buenos Aires, Argentina<br>* Małgorzata Biernacka - University of Wroclaw, Poland<br>* Willem Heijltjes - University of Bath, United Kingdom<br>* Johannes Waldmann - HTWK Leipzig, Germany <br><br>** Steering Committee **<br><br>* Delia Kesner - Université Paris 7, France<br>* Femke van Raamsdonk - Vrije Universiteit, The Netherlands<br><br><br>## CONTACT<br><br>All questions about submissions should be emailed to the PC chair Pablo<br>Barenbaum (pbarenbaum at <a href="https://urldefense.com/v3/__http://dc.uba.ar__;!!IBzWLUs!XA2bYgNQ2BYF1j4oCuSH_Kxj5ObAW3sL9lirHWlKFmjb_6lljA0v8ivMLPB2x0wIV_vx4CLebEDpkmYzMWOnYwFmOSkNRvyYgkxB$">dc.uba.ar</a>)<br><br><br></div>