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