coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] HOR 2025: Deadline extension - Last Call for Papers

From: Pablo Barenbaum <pbarenbaum AT dc.uba.ar>
To: undisclosed-recipients:;
Subject: [Coq-Club] HOR 2025: Deadline extension - Last Call for Papers
Date: Tue, 13 May 2025 18:09:17 -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-yb1-f172.google.com
Ironport-data: A9a23:cY7aLqMeCng7v5TvrR0qk8FynXyQoLVcMsEvi/4bfWQNrUol0mdSn DAdXD2AP62MMWH9KNF3YIu0px4GusfSz4AyQXM5pCpnJ55ogZqcVI7Bdi8cHAvLc5adFBo/h yk6QoOdRCzhZiaE/n9BCpC48T8mk/vgqoPUUIbsIjp2SRJvVBAvgBdin/9RqoNziLBVOSvU0 T/Ji5OZYQLNNwJcaDpOtvre8Ug355wehRtB1rAATaAT1LPhvyJNZH4vDfnZB2f1RIBSAtm7S 47rpF1u1j6xE78FU7tJo56jGqE4aua60Tum1hK6b5Ofbi1q/UTe5EqU2M00Mi+7gx3R9zx4J U4kWZaYEW/FNYWU8AgRvoUx/4iT8sSq9ZeeSUVTv/B/wGXZLXS1365+XXhqIKok9Nx6W05t3 s4XfWVlghCr34pawZq+Q+how9UpdYzlZdxF/H5nyj7dALAtRpWrr6fiv4cJmmdtwJoXTLCHO JBxhTlHNHwsZzVBPVARBYkWk+Khh325eDpdwL6QjfNuvTWLkFYpj9ABNvLnUNmWTNt7sH2lg Vjq4lbzLTsQPvGAnG/tHnWE3bKWxXyqBur+DoaQ/flzxVaX22Y7EwwTTVL9oP+ji0f4Vcg3F qAP0i8nrKx35UbyC9ekAEf+r3mDsRoRHdFXFoXW9T1h1ILLvQnAGjMUHwcddfsauvU7HxMJ/ W2GyoaB6SNUjJWZTneU97GxpDy0ODQIIWJqWcPiZVtVizUEiNFj5i8jXupe/LiJYsoZ8AwcL hiPpSk6wqQZ1IsFjvrhu1/AhD2oq97CSQtdCuTrsoCNvl0RiG2NPtPABb3nARBoctzxor6p4 iJspiRmxLpSZaxhbQTUKAn3IJmn5uyeLBrXikN1Ep8q+lyFoiH/ItgPvG4hfBs1Y67onAMFh meD6Wu9A7cDbBOXgVNfOd3Z5zkClPi5TIu8DKi8giRmOckqL1fclM2RWaJg9zuwyRBzwP9X1 WazfsGrAnIXQaVhx3zeegvu+e5D+8zK/kuKHcqT503/j9K2PSfJIZ9bagfmRr5it8us/l6Fm +uzwuPQl32zpsWkP3GPqeb+7DkicRAGOHwBg5UIKLfceFY9SAnMyZb5mNscRmCspIwN/s+gw 513chUwJIPX3CWfd1e5eTp4ZanxXJ1yi3s+MGZ+dRyrwnUvK8LnpqsWa5J9L/Ft+f1B3MxEa aAPW/yBJfBTFRXB2TAWNqfmoKJYKR+EuAOpPgieWgYZQaJOfQLzx4LbTlPdzxVWViuTnukik oKkzTLeEMYiRRw9LcP4a8CP7lKWvFobkt1cR0Hjf9tZIh3t1KNIKCXBqOA9DO9RCBfExxqcj x23BzVBr8bzgoYFyvv7roHakJWISsxVAVh/M1TAy4qPJQ323zaG0JBRduSlZhXfXz7Ew7qjb uBr0P3MCv0Ls1JUuY5aEbww76YBy/bwhr1d3CJ2NW7qagm1N7ZePXW258lDmalTzLt/uwHte Eau+MFfCIqZKvHeD18dCwo0XNutjchOtGHp0s00B0Hm6Atc3rmNCxxSNibRrh1tFuJ+NYd9z NoxvMIT1ReEtSMrFdS7lQFRyXWHKy0Rcqcgt6xCOrTRtCgQ9ghgb6DfWwjM27PeT/VXM0IvH C2Yu7qauZRY2Xj5UiQSEVrj4LNjoKog6TFw8U86BlWWm9D6qOc98z9P/B8WEAlE7BV1/NhiG 2psNkdKC72E1G41tcpuQ1KuNlpkBUCf8BagzVEmqXDoFRi0d23SLV8SPfSG01AZ/ll9IBla3 uC840T0XQn6ePre2nMJZndkjPj4X/ldxxbkmsu3O+ikRr4UOSHEhI2qbko28yrXO9s73hD7l LM77dROZr3eHg9Oha8CUq2x96kaETKAL0x8GcBRxrsDRzzgSWvjyAq1Ch6Df+1WLKb36m6+M ctlI/xPWzmY1CqjqjM6B7YGE4RrncwGtcYzRbf2GVEo67evjCJlkJb1xBjMgGUGR9ZPk8FkD qjzczmEMHKbhFoKumvrgfRHBFGFYog/VFWh5Ny2zeQHLIJckedOdUpp7KC4kU/IOyRa/jWVn jj5WYno88JYx79BpbDcSpd4O13sKPfYdvi5zwSogtEfMfLNKZjvsi0WmHnGPiNXH7ggSokup LGgre/H/ULhl5Q1WlD/hJOuOfRo58KzfewPKePxDiBQshWjUf/WwSko2j6HO70Tte0F/eihZ Q+zSPXoRO4vQ90HmUFkMXlPISgSG4HcT/nGpxrki9+uFxJE8wjMDO3/xE/TdWsBKxM5YczvO DTV5cSryMtT9rlXJRk+APpjPZ90DXnjVYYidPzzrTOoNXapsHzTpordkQcc1h+TBkmmCMra5 bf3dir6fjm2u4DKy4h9mK52tRs1En18oLcRemQwxt1IsA25XVU2dbklDZY7C59qy324kNmyY TzWd2ItBBnsRTkOI122/N3nWRzZHeAUfMvwIjsy5U6PdiOqH8W6DaB88jt7qWJDEtc5IDpL9 flFkpExAvSw/n2tbeMa5/j+kO0+g/2DmShO9kf6nMj/RR0ZBN3mEZCn8BVlDUT6/wPlzS0n5 lTZgUhLRUi6TQj6FsMIl7t9BkQCpD22p9k3RX7n/Tsc0rl3CMVMw7viMei126drgAHm4lIRb SufelZhKFx6FpDeVWXFdj7pbWJJ5Sq3I/WH
Ironport-hdrordr: A9a23:ThMXe66N0qwcE+RT2wPXwAnXdLJyesId70hD6mlbQxY9SL3iqy nOpoVi6faQslwssR4b6LW90cW7MBHhHP1OkOos1NWZLW7bUQKTRekI0WKI+UyHJ8SRzJ8l6Y 5QN4d5E8P5FlV3gILX5wOiA888zNTvysyVrNab4XMoYg1jdr164x0RMHf+LmRGACdDQbQ2fa Dz2iOFnVWdkLYsA/hTykNlYwELnb32qK4=
Ironport-phdr: A9a23:MviAHxFifs7QwT9+bF//fZ1Gf7xGhN3EVzX9CrIZgr5DOp6u447ld BSGo6k21hmRBc6As68d0KL/iOPJZy8p2dW7jDg6aptCVhsI2409vjcLJ4q7M3D9N+PgdCcgH c5PBxdP9nC/NlVJSo6lPwWB6nK94iQPFRrhKAF7Ovr6GpLIj8Swyuu+54Dfbx9HiTezf79+N gm6oRneusQYnYdvKrs9xxXUqXZUZupawn9lKl2Ukxvg/Mm8+4Jt/TpNsPw77c5AVqv6f6U8T bNGCTktLn446s72uxTdVAWD/nQTXHkYnRpOGAjF8Qr1XoztvSvgt+pywzeVMMvrRr0pQzui7 qNrSBj1iCcbMjMy7W/ahtBsgK9dvRmuoAFxw5PPYIGNKvVxYr/dc90dRWpERMlRVipBCZ64Y 4YAC+cNOOBVoI7gp1sIsBS+BBKsC//ryj9PnX/5w7A12PklHQzJwAAsGtQDu2nWotroLqcfS e+6wqnGwzvAcv1ZxSrw5ZPSfRw9u/yBR658fdbTxEQpCgjLjk+QqYvgPz6NzOoCqXOU7+5nV emylmMosRtxrSapxsg3kIbJm4cVwU3D+CVh24k6P8e4R1B9YdG/CpRQqiSaOpBrTcw+WW1op T01xacctZGhZigH0ZIqzAPQZPKbaYaH+A7jVPqPLjdignJoYLyxihmu/ES81+HxVNS53UhXo yZZnNTCtnEA2RzN5saJVvZw+kmv1DKS2g3d5OxIPU86mbTYJpM9zbM+mYQev0vFEyTrlkv2i 6qWeV8l+uiu8+nnbbTmpoOcN49pkQ7yKKUumsunDesmKAcORGia9vi81LL5/E35Wq9Gjvosk qnWqJzVONgUqrSkAwBOyIkv8QywDy2g3d8FnncHNEpIdAybg4XtIV3DI/D1Ae2hj1ixlDpn3 e3KM7//DpjLM3POjrPhfatm605A1gUz181R55NVC74fOP//Rkn8v8HCABAjKQy72ePnBc191 owAXWKPBbeUMKbIvl+J4uIjOumNa5QItDrkJfgp+vzjgWEjlV8Seqmp2pQXaHSmEfh8P0qZZ n/sjs8AEWcMoAU+UPTnhEOeXTNXfXq/XKIx6islBI67CYrPXJ2hjb6f0CujG51ZfGFGClSCE XfycIWEXu8BaCyVIs9mlDwLS6OhRpQu1RGrrgD6yr5nIvDI9S0fsJLvzN516PbLmhEo6TN0F 9id032KT2xsg28EXyU207xnoUxh1leD1rB1jOBfFdxK/v9GTgM6NYPHwOFhENDzWgfBfs+TR 1q8Q9WmBysxTtMrzNMUbUZ9AYbqsheWwiymAqQek7uQCZBx6K/X3mDwKsBh0CSVh4c7iFxze sJFMWrurKdl+g7ZDpPM2xGBna+weKIW1TPI3GuIi3eEtQdRSlgjAu3+QXkDax6O/pzC7UTYQ ur+WNzPUyNEwM+Gce5Rb8HxyE5BXLHlMcjfZGS4nyGxAwyJz/WCdtmiYH0TiQPaDkVMiAUP5 TCeLwFrHi2ouW/YBjVzEHrjaAXx++A4oWnoBlQswVSyZlZ6n6Gw5gZTgPWdT/0J2bdRtiAmr ThvNFm41tPSTdGHolkpZ71SNPU65loPzmfFr0p9M5inerhlnUIbeh9rslnG0hx2DsBRm5Fvo ip1lkx9LqWX1F4HfDSdtXzpEpvQLGS6vBWmaqqNn0rbzM7T4aAXrvIxt1TkugitUEsk6XRul ddPgTOa4d3RAQweXIiUMA5//gVmp7zcfig25p/FnXxqP66utzbe2tUvTOI7wxekdt1bPeuKD gj3W8EdAsGvLqQtlT3LJlocNulI+ag+Nt6jX/eNnrOhNaBphnPujGhK5px8zlPZ7zB1GabD2 5cIxe3d3xPSDW+tygf89JquyMYdOmtBewj3gTLpD4NQeKBoKIMCCGP1Ztay2s07nJn1HXhR6 F+kAVoCns6vYxubKVLnjmgynQwap2KqnSygwnl6iTYs++CR2yvIzv/Kex8OO2oNT25nxwSJQ 8D8n5UBUU6kYhJ83gOv7Fz3waJSuaFXI2KVXE1BOSHsZTIHMOP4pv+JZMhB74ktuCNcXbGnY FyUfbX6pgMTzyLpG2Y2KCkTTzixod25mhV7jDnYN3NvtD/Cftk2wx7D5dvaTPoX3zwcRSA+h yOFTlS7OtCo+52TmfKh+qiwUGWnW4Z7fizizIfGvyy+rWFnGhywmfmvl8avS1Brl3+mkYMzB GOR80y0a5Kjz6mgNON7YkRkYT20o9F3HI1ziMp4hZ0d32QbmoTA+HMGlWnpNtAIkan6bXcLW XsK24uPuFmjiBAldCvYgdumDCb4oIMpfdSxb2II1zho6slLDPzR97lYhW5upUL+qwvNYP97l zNbyP006Xdcjfta3WhlhiibHL0WGlFVeCL2kBHdpd65q6Naf06gdLGx0Ax1mtXrX9Tg6klMH W30fJsvB3o64MJ4Nl/X+HL244DgPtLXaJhA/g3RmBDGge9PLZs3nfdfnitrN1X2ung9wvI6h xhjjvTY9MCXbn9g96WjDltEJyX4MokNryr1g/8UzY6GmpqiFZJ7FnAXUYv0GLi2RSkKu62CV U7GESVg+CzGX+OORUnFtBgg9zWVT9iqLy3FeiVfl445AkDDfAoHx1lFFDQiwsxnSEbznJanK AEhoWpJgzyw4hpUlrA2aV+lDjaZ9F/uMnBuENCeNEYEsVsEvhuTaJ3EqLo0RnEQ/4X9/lPRb DXBOkIQSzlOAxLhZRirP6Hyt4CYo67BWbX4f72WJu/X4e1GC6XRmsnpi9o6uW7KboLWYDFjF 6FpgBISGyAkXZ2Dy3NXDHVI8kCFJ8+D+EXmo3Mx85D5qaWxHlqovNrHCqMOY482pVbs2vbFb LTW3GEgeH5O35cIjxck0ZA521gfw2FrfjipSvEbsDLVCbnXgulRBgIabCV6MI1J6bg9109DI 5yTjNS9zbN+gvMvbjUNHVX8hsGkY9ALKGChJRvGAkiMLrGPOTzMxYn+f6q9TbRaiOgcuQe3v H6XFErqPzLLkDeMNVjnKeZXkCSSJwBToqm4exdpTHnpFZfoM0LhdtBwijIyzPs/gXaLfW8QP D5gcl9c+72d6SQL55c3U2dF73djMayFg3PDt7ieestQ66I6RH0rzbE/gjxy0bZe4SBaSeYgn SLTqoUruFS6iqyUzSIhVhNSqzFNjYbNvEN4OKyf+IMTPBSMtB8L82iUDAwH4tV/Ddi68a5Xz d7Cj4r8LT5D95Tf+s5WVK22YIqXdWEsNxbkAmueFAweUTuiLn3SnWRYmfCWs2yf990088e23 pUJTbBfWRo+EfZQWSEHVJQSZZxwWD0ji7uSisUFsGG/oBfmT8JfppnbV/iWDJ0HzR6Vhv9Zb RJOyKmqdez716X+0k1mL0hwxcHEQhWKG99KpSJlY0k/p0AfqBCWoUU83kvkbkWm53pBTJaJ
Ironport-sdr: 6823b50b_MUz6Nb4z2rhT9NIF8cfdRWwGx3CtcUZiZfAxaqXtXA6SeH1 fUOvtXCtdAOIiphFHX+kwQAdWEDT+bgTOdK695A==

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

* Computing paradigms based on higher-order rewriting: lambda-calculi,
higher-order logic programming, quantum programming languages, process
calculi.

## 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: 20 May 2025 (extended)
* 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: Deadline extension - Last Call for Papers, Pablo Barenbaum, 05/13/2025