Email Gateway (Mar 08 2025 at 21:51): Email Gateway (Mar 08 2025 at 21:51):From: Pablo Barenbaum <pbarenbaum@dc.uba.ar>
** 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/
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.
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.
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.
Program Committee
Pablo Barenbaum (chair) - Universidad Nacional de Quilmes & Universidad de
Buenos Aires, Argentina
Małgorzata Biernacka - University of Wroclaw, Poland
Steering Committee
All questions about submissions should be emailed to the PC chair Pablo
Barenbaum (pbarenbaum at dc.uba.ar)
Last updated: Mar 09 2025 at 12:28 UTC