Skip to Content.
Sympa Menu

coq-club - [Coq-Club] HOR 2025: Call for Papers

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] HOR 2025: Call for Papers


Chronological Thread 
  • From: Pablo Barenbaum <pbarenbaum AT dc.uba.ar>
  • To: undisclosed-recipients:;
  • Subject: [Coq-Club] HOR 2025: Call for Papers
  • Date: Thu, 6 Mar 2025 16:46:32 -0300
  • Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=pbarenbaum AT dc.uba.ar; spf=Pass smtp.mailfrom=foones AT gmail.com; spf=None smtp.helo=postmaster AT mail-ej1-f66.google.com
  • Ironport-data: A9a23:WNqanK0lXgN2rl7ECPbD5VV1kn2cJEfYwER7XKvMYLTBsI5bpzcDz 2YaCjvUb/qLZDejeN9zaIu2oUkG7ZODndZhGQA/3Hw8FHgiRejtVY3IdB+oV8+xBpSeFxw/t 512hv3odp1coqr0/0/1WlTZhSAgk/vOHNIQMcacUghpXwhoVSw9vhxqnu89k+ZAjMOwa++3k YqaT/b3Zhn8h1aYDkpOs/je8Eg34qyu0N8llgVWic5j7Ae2e0Y9V8p3yZGZdxPQXoRSF+imc OfPpJnRErTxon/Bovv8+lrKWhViroz6ZWBiuVIKM0SWuSWukwRpukoN2FXwXm8M49mBt4gZJ NygLvVcQy9xVkHHsLx1vxW1j0iSlECJkVPKCSHXjCCd86HJW2Dw6M4tJkMVAZEJ2t8tPkZw+ MIKIT9YO3hvh8ruqF66Yuxlh8BmIcuyeY1B5DdvyjbWCftgSpfGK0nIzYUAjXFg24YURKaYO ZRxhTlHNHwsZzVBPVARBYkWk+Khh325eDpdwL6QjfNuuziCkFYqj9ABNvLaWMWhV8tzz3qq5 W30vFbyEksTBN6mnG/tHnWE3bKWxXyqBur+DoaQ/flzxVaX22Y7EwwTTVL9oP+ji0f4Vcg3F qAP0i8nrKx3+U7yC9ejAVu3p3mLuhNaUN1VewEn1O2T4rHIyD3aLGonciJQSOV8i+gISAI43 1DcyrsFGgdTmLGSTHuc8JKdojWzJTUZIAc+icksHVttDz7L8NFbs/7fcuuPBpJZmTEcJN0d6 zWDrSx7irdKyMBVieO0+lfIhz/qrZ/MJuLU2uk1djL1hu+aTNf6D2BN1bQ9xasQRGp+ZgTQ1 EXoY+DEsIgz4WilzURhutklErCz/OqiOzbBm1NpFJRJ323ypyf6LNEMsGEgdB0B3iM4ldnBM B+7VeR5tM87AZdWRfQnC25MI516nfe4SoS5PhwqRoQUMscgKGdrAx2ClWbLgjm1zxly+U3OE ZicdsmoAD4bD68hpAdatM9MuYLHMhsWlDO7bcmjkXyPiOPCDFbLE+ttGAXVNYgRsvjUyDg5B v4GXyd840wHCLWWj+i+2dV7EG3m2lBhWcGn95ILLbbTSuekcUl4Y8LsLXoaU9QNt8xoei3gp BlRg2cBkAKh107UYx6HcG5iY77JVJNy5yBzdy81MFrinzBpbY+z5e1NP9E6bJs2xtxFlPRUd vgif9nfI/JtTj+cxS8RQ6Ogp6NfdTOqpzm0AQybXBYFcaRdGjP5ou3fQlO39Q0lLDaGis8lk rjxiiLZWcUiQiphPub3adWu7VW7glYFkskvXUGSeth3U2fv+bhMNCbeoKIWIcYNCBOb3Rqc9 V+cLik5rNn3gb0e0Yf2l4HdiKy2Ac5SI1F8I1DLyZqXaQzL4XuFw6JbdeSDIADmS2L//Zu9a dVvz/3TNOMNmHBIudFeF4lH4L0f5dz9ga1z1SVhQWv2amq0BoNaInWp2ddFsotPzOR7vSq0Q ke+xclIC46WOc/KEE8jGyR9V76tjcorozj16eg5BG7Y5yUtpbqObhh0Dim20SdYKON4DZMhz eIfo/Up0g2YiCcxE9O4nytRpnWtLHsBbv0djaskIrTX0ygl9lITRqbnKH7SwIqOYNByIEUVM meqpK7dtY99mGvGUVQOTEbo48QMpK4gmh5wyH06G2+ogfvA3/8+4w1Q+284TyNT1RR27NhwM WlKaWxwH6eq+QlptfMeX2utOhpgASeB8Rfb0Go5l2z+TmipWFfSLWY7B/2/wUAB/09YfRlZ5 Lu9ylf1YQ31fcr04DQ+aXRlp9PnU9Z10A/Iw+KjIOioALg4ZmDDrpK1RG9VtSbiP9w9tHfHq cZu4ux0T6/xbgwUgq8jDrilxaYicw+FKENCUMNe0vswR0+EQw6L2B+KN0yVUeFOLaaT8UaHV upfFvgWXBG6jCuzvjQXAJAXGIBNndkr2cEjf436LmtXopqdqTtU6KjrzBbcv1NyYdtSkpcaE LjzJhaiCW2bgEVGl1Dd9PdkPnWKWvhaRQne8t3szsA3OcMiitx8SWAzzbq+gFuNOiRF4R+/n V3Odo3W/cNY2KVumIrmLYtbDS7tLdrxefi68jHpl9FCc9mVPdz8jF4XoAO/PiB9H7gYa/Jon 5uj7f/120Lkuu4tcmb7wpOuKYhA1f+QbsF2bP3lCWZ8nDTYft3B+D4BxjyIEoNIm9Zj+cWXf Qu0R8+uf9ozWd0G5nlqRwVBMhQaUYLbU7zBoH6jkvGyFRQt6wzLA9e5/3vPb2sAVCspOYX7O zDkqcSV+dFUg4RdNiAqX8g8LcdDH2bifq86e/nalzqSVDCoi2zfnIrSr0Mr7DWTB0SUFMr/3 4n+eSH/UxaPo4DN8sBStt1jnx8QDUslu9IKQGAmx4dUhQy5XUk8FsZMAaVeX9sQ2mb32Yrjb T7AUHo6BG+vFX5YeBH7+5L4Uh3ZGuUKPczjKyc0+1+PLR27H56EHKAr4xIID62aodc/5LrPx RAiFnzM0tyZx5hoQaMe5KX+j7k5gPzdwX0M9Ab2lMma79Pyx1kV/CQJIeaPfXWv/wLxeIHjK m08RGQCS0a+IaI0Odg1YGZbQXn1oxu2pwjFrk6zLBL3t47d0edJjvTlUw02Pnvvc+xSTIMzq bjLq6dhLoxYNrH/eUfkhj7xvZJJNA==
  • Ironport-hdrordr: A9a23:lkb0O6t6Y4MbnbYf/tveyIYQ7skDt9V00zEX/kB9WHVpW+eTna mV7Y8mPH7P+U4ssRQb8+xoV5PwJE80maQFg7X5Xo3SPzUO2lHYS72KhLGKq1bd8kbFh4hgPM lbAtFDIey1Il5gk87g7QW0V/omysKW6b2liI7lo0tFfEVFb+VO4w9lFh2WCCRNNW17LKt8Op 7ZyMQvnVSdkLcsAfhTxENpYwEOnbz2fVvdASI7Ow==
  • Ironport-phdr: A9a23:tYxAqBfc3ueMgmp7LAyWGMAslGM+PdTLVj580XLHo4xHfqnrxZn+J kuXvawr0ASTG92DoKsc27SP+4nbGkU+or+580o+OKRWUBEEjchE1ycBO+WiTXPBEfjxciYhF 95DXlI2t1uyMExSBdqsLwaK+i764jEdAAjwOhRoLerpBIHSk9631+ev8JHPfglEnjWwbL1sI BmssQndqsYajZZ+JqsyyxbFv2ZDdvhLy29vOV+ckBHw69uq8pJk7ypepe8q+dRaUaX9caQ4T LhYAyojPmso+sDltgTNQBWW6HcEXWoYjhRHAw7e7BHnRZjxqTf1tvB82CaBI8L7S60/VCm44 KdqTB/ojzoHNyI8/WrKhMF8kL5XrRS8rBN43oDUfZqVNOJgcazBYdMUS21BXsNLWCxABIO3c o8DAuUFMOpdqYTyoEYOrR2jCgmtH+Pg1jtIhnjt3aIkzusqDAXK0QM8E94Ltnnfsdf7O7oIU e2tw6bGzTvNYfBL1zjh9YXFaQoure2WUL9qbcbd1UsiGgXYhVuQs4zlODaV2/wXvWeB9OVgU eWvgHM6pg5ruDig2MEshZLTiYIIz1DP6CJ0wJ4uKtKiUk50f9ikH4BKuCGHMot7Wd4tTH1yt CYn0bIJo4S3czIQyJk+wRPUdvOIfZSS7B35SOaRPSl3hGhjeL+niRi//lStxvHhWsS2zVtHs DdInsXCu34N1hHd6taLRPVh80ql1ziC0x3e5+9KLEwomqTXNZ0sz6I/m5Qcr0nNESn7k1j4g q+Rc0Ur4Omo6+L/b7Xpp5+cK490ihzlPag0m8y/Bvw0PRYUUGiA+eWzyL3j8lf4QLVQlPE2l bPZsJ/CKcsGuqG1GRJV3Z055BqlFTimytIVlmQEIlJdYB+LkZTlNlXULP37DfqzmUqgnCpoy vzcP7DsA5PAJWXdnbflYLZ98FJcxxQpzd5C5pJVC68OLervVkL3qdfWFAU2MxauzObiENh91 p0RWWaIAqKBNaPdq16I5uY2L+aSZo8ZpS/xK/Yk6vPvl3M5llgdfa6m3ZsTdn+0BOhpI0KcY Xb0g9cBF3kFvhYmQeD0lFGPVSRfanWyUq4m+D03FYGrAZ3CS42smLCB2T20HpxSZmBIEFCMF nLoep2KW/cLbyKSJNFukicfWLiuTo8uzxCutAvgx7V7KerU/zUUtZT429dt/e3ciQky9SBoD 8Say2yBUnl4nnkUSD8uwKB/vUt9x0+f3qh/mvxUDMBc5/dUUgghLpPc1Ox7C9XqWg3bZNuJS VCmQs+nAT4rVN4xzcUOMA5BHIC/iBzCxCGuBKQYm/mRCZc16qPR2WTqdZUu5WzB0fwZhlMiR YNlPHergKR26g2bU5bDml+UkayjaKE00CWL6W2Ki2OU6hILGDVsWLnICChMLnDdqs70sxOTJ 1fPIbEuMw8ajNWHNrMPcdrxy1NPWPbkPt3aJWO3gWa5QxiSlfuXdIS/XWIb0W3GDVQc1RgJ9 COePwEkCyGrqn/bJDBlU0/lagXl67o2s2u1G3c91BrCdEh9z/yw8x8Ri+abTqYd2bUCtTwJp DB9HVL71NXTWJKbvwQ0WqJabJsm5Utfk2LUswsoJpu7M6VrnUITaSxytkLqkhh1U8BOz5Zso 3Qtww5/b6mf1Tutbhu+2pb9cv3SI2j2p1W0brLOn0rZyJCQ87sO7/IxrxPiuhuoHwws6Scv1 d4dyHaa6pjQaWhaGZvsTkY68QR7rLDGc2E84Y3Tz3hlLaiztHfLxdsoAOIvzhvocc1YNeuIE wr7EstSAMbLSqRig1KgdB8CNulP8YY4NIW7ffLA0bTqdOdskTS6jHhWtZhn2xHE/C59R+jUm pcdlqvAj03XCnGm1Qfn7J6k/OIMLSsfFWe+1yX+UYtYZ6kpOJ0OFX/rOMqvgNN3m5/qXXdcs l+lHVIPnsGzKn/wJxTw2xNd0UMPrDmpgyy9mnZ6lDYvo7G30ynHwuCkfx0CcD0uJiEqnRL3L I64gspPFlCiZhIkkhGs+EPSy6Mdua52aWDJCxQtHWC+PyRpVa2+saCHashE5cYzsClZZ++7Z EiTVr/3pxZyPzrLJ2JF33h7cjirvs68hBlmkCeGK241qnPFeMZ2zBOZ5drGRPcX0CBUDCV/j DDWABC7MbzLtZ2akJDFv/uWWGeoV5kVei7uhY+Nryq042R2DAb3xaji3I26V1JjgWmliZFjT m3QoQz5Y5X32qjfU6ovZURuCFLmqoJ7Fox4jooslcQV0HkeiI+S+ClPmmPyPNNHnKPmOSBVF HhbnpiPuVijhhMwSxDBj5j0XXic3MZ7MtyzY2dNnzk489gPE6CMqrpNgSpypFO86wPXe/l02 DkHmp5MoDYXhf8EvA01w2CTGLcXSANWOivqmg+g4NW3raERb2GqO+vVtgI2jZW6AbeOrxsJE nj+fZEvBgd/68x+NBTH13i5ucn0PdLXa9wUrBidlRzN2vNUJJwGnf0PnSN7OGj5sC5AqaZzn Vl00Jq9poTCN3R18ffzHEtDLjOsLZBb6nT3gK1ZhMrTw42/AsArBGAQRJWxKJDgWDMK6aa8a kDXQWV68CvEX+KYR1PX6V86/SyTVcrwbDfOeiFflZI7FVGcPBAN3l5SBW1g2MZ/TkfwnKmDO A94/mxDuAC+8EcdjLIwcUG4CD+XpR/0OGhuDsHDakMHtEcaoB6Fec2GsrAsQ2cBpMDn9ErVb TXFAmYARWARBh7dXwClZ+bxo4mGq6/CX6K/N6ecOOrV77UPC7HQg8roi9Uu/i7QZJ/Xbz8yU rtigBoFBTcgRKG7030OU3BFzXuTKZPL4k7toGsv6ZnuuPXzBFC1vNXJUeADd441vUjx2PbLI eeUgGwRxS9w8JQKyDeIzbEe2AVXkCRyb3y2FqxGsyfRTaXWk6sRDhgBaio1OtEap6Q7lhJAP 8LWkLaXnvZxk+I1BlFZVFfghtDhZMoEJHu4PU/GA0DDPaqPJDnCycX6Ka2mTrgYgOJRvhy28 TGVdi2rdiyEjCXsXguzPPtkiSiaOFlTutj4fEgzT2fkS93iZ1uwN9o2xTw6zLsoh2/bYG4RN T8vFiEF5raU7C5enrB+AzkbtisjfbTCwX/JqbeGefN0+bNxDy95lvxX+iE/wrpRt2RfQeBt3 TDVtphoqk2nle+GznxmVgBPo3BFntHu3w0qNKPH+51HQXuB8ggK6DDaBRMNodZ+ItLqsqFUj NPIkeigTVUKu8KR5sYaC8XOfYifN2E9NBPyBDPOJA4MTDruOGOGwkIDzred8XqaqpV8oZ/p0 slrKPcTRBk+EfUUDV5gFdoJLcJsXz8qprWcidYB+Xu0qBS5rCpysZXOV/bUCvLqem/xZVxsa xBO3Lnxa40JZNWTM61Kb1B7mMHHGROVU44T5CJmaQAwrQNG930sFgUO
  • Ironport-sdr: 67c9fba5_baESY6nxaOnqrohh3p/vgeCKSwOlUQJw66pPCfedY35y2Yh ZxAt5qTDuBsewb6AhPi8lPmS0sDyFAuLq9XU++g==


**** 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)




  • [Coq-Club] HOR 2025: Call for Papers, Pablo Barenbaum, 03/06/2025

Archive powered by MHonArc 2.6.19+.

Top of Page