[TYPES/announce] HOR 2025: Call for Papers

[Pablo Barenbaum]

**** CALL FOR SUBMISSIONS ****

HOR 2025 - 12th International Workshop on Higher-Order Rewriting
July 14th, 2025
Birmingham, United Kingdom
https://urldefense.com/v3/__https://hor2025.github.io/__;!!IBzWLUs!XA2bYgNQ2BYF1j4oCuSH_Kxj5ObAW3sL9lirHWlKFmjb_6lljA0v8ivMLPB2x0wIV_vx4CLebEDpkmYzMWOnYwFmOSkNRsdmKR0z$ 

Affiliated with FSCD 2025: https://urldefense.com/v3/__https://fscd2025.github.io/__;!!IBzWLUs!XA2bYgNQ2BYF1j4oCuSH_Kxj5ObAW3sL9lirHWlKFmjb_6lljA0v8ivMLPB2x0wIV_vx4CLebEDpkmYzMWOnYwFmOSkNRldzbAHQ$ 


## 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://urldefense.com/v3/__https://easychair.org/conferences/?conf=hor2025__;!!IBzWLUs!XA2bYgNQ2BYF1j4oCuSH_Kxj5ObAW3sL9lirHWlKFmjb_6lljA0v8ivMLPB2x0wIV_vx4CLebEDpkmYzMWOnYwFmOSkNRlsSflZE$ 

Please use LaTeX and the Easychair style to prepare your submission:

  https://urldefense.com/v3/__https://easychair.org/publications/easychair.zip__;!!IBzWLUs!XA2bYgNQ2BYF1j4oCuSH_Kxj5ObAW3sL9lirHWlKFmjb_6lljA0v8ivMLPB2x0wIV_vx4CLebEDpkmYzMWOnYwFmOSkNRtdDBYp7$ 

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)
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20250306/d8c42ed2/attachment.htm>