coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Carsten Fuhs <carsten AT dcs.bbk.ac.uk>
- To: rewriting AT ens-lyon.fr, fscd.conference AT dcc.fc.up.pt, cl-isabelle-users AT lists.cam.ac.uk, types-announce AT lists.seas.upenn.edu, ProofTheory AT lists.bath.ac.uk, coq-club AT inria.fr, caml-list AT inria.fr, clap AT groupes.renater.fr
- Subject: [Coq-Club] HOR 2023: Call for Participation
- Date: Wed, 31 May 2023 14:30:00 +0100
- Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=carsten AT dcs.bbk.ac.uk; spf=Pass smtp.mailfrom=carsten AT dcs.bbk.ac.uk; spf=None smtp.helo=postmaster AT mailer2.dcs.bbk.ac.uk
- Ironport-data: A9a23:19QSYKk5zcY5q3XzRKDCpZDo5gy+IkRdPkR7XQ2eYbSJt1+Wr1Gzt xJJCDyFO/qKY2qgLYtzaYy0oxgB78SAm4VnHAVlryxhFFtH+JHPbTi7BhepbnnKdqUvb2o+s p5AMoGYRCwQZiWBzvt4GuG59RGQ7YnRGvymTrSs1hlZHWdMUD0mhQ9oh9k3i4tphcnRKw6Ws LsemeWGULOe82Ayajp8B56r8ks156yv42pA5DTSWNgS1LPgvylNZH4gDfrpR5fIatE8NvK3Q e/F0Ia48gvxl/v6Io7Nfh7TKyXmc5aKVeS8oiI+t5uK3nCukhcPPpMTb5LwX6v4ZwKhxLidw P0V3XC5pJxA0qfkwIzxWDEAe81y0DEvFBYq7hFTvOTKp3AqfUcAzN1kB34RJbEeoN1GPkBCy 6YoNgsNPz+q0rfeLLKTEoGAh+wmJcjvMZlF/H1r1nfTB/VgSJuFXqaiCd1whWZrwJ4XW6yPI ZZxhTlHNHwsZzVEM00MFJ84tOujnT/1eT4eoVnTuKlfD237kVMtjee9a4e9ltqifPkKpG2lr 2z9wU/eOgMCa/nF7AC//Sf57gPItXinBt5LTefQGuRRqFaaw2hWDBwNSXOgsPyhgwi/XcheI goa4EIGpq8rsUevU9PVRAy9uHfCvxgGWtMWHfdS1e2W4q/d4gKUHDJCQjVaLtYst4k/Tno31 Tdlgu8FGxRlu4KyUU6brIylkhK+B3IlM1QCNAAtGF5tD8bYnKk/iRfGT9BGGaGzj8HoFTyY/ 9xshHNn71n0pZVTv5hX7WwrkBrx/8WRH1JdChH/GzP4smuVcab/P+SVBU7nAeFoA6zxorOpm H8Cl8+YhAzlJbymyArlrAklMbem4/+DPFXhbbNHGpAg8zm3oTivdpsW6jt9Yk5idNsHEdMIX KMxkV8BjHOwFCL3BUOSX25WI55ypZUM7fy/CpjpgiNmO/CctGavpUmCn3K40WH3i1QLmqoiI 5qdesvEJS9EWfk7k2PqHLxCjuBDKsUCKYX7GMGTI/OPjOv2WZJpYe1bYTNik8hmtv7a+F2Nm zqhH5XUlk43vBLCjtn/qtJNcQlTdxDX9Lj0ospaaqaeJAt4FXs6CuPAibUsZ5Nihac9qws71 i/VZ6KZoXKh7UD6xfKiMC0yMeOxAM0u9xrW/0UEZD6V5pTqWq73hI93Snf9VeBPGDVLna4qH coWMd6NGOpOQTnh8jEQJ8u15o97eRjhwUrEMyO5aXJtN9RtVi7YyO/CJwHPzSgpCjbolM0cp 7b76BjXb6BeTCtfDeHXSsmV8XWPgVYnltlfYW70M/hIWUC18IFVOy371fA2BMcXKCT8/DiR1 ifIIBJBpeDys4s+8vjUt4+ivaOsMep3DxdaLniGtL+nFDL7+1C7ytRqS9e4fjH6VUL19p69Z O5T8erODf0fkHtOsKt+C7xO34tmw/fO/ph0lh9FGlfPZHSVUoJQGGGMh5Rzh/cc141nthuTc WPR3NtjYJGiGt7vSXwVLyobNtWz7+kewGTu3K5kMXfBxXFF+ZScWh9vJDiKsitWKYV1PK4Dw esMvM036RS1uiE1M+Sp3zxlyGCREkMuC6kXlIkWIIvOuDoZzltvZZ/9CCiv7qqfNPRKEE0he QGPiIT42r9z+0vlclgIL0br49Zzv5o1lSpx/AcwHGjRwtvhrd0r7SJV6gUyH1h0zA0Y8uddO VpLFkxSJIeNzmxNmflGfXqIHi9DIBun4G3w1Fo7u2nLRGa4VmH2DTMcOMTc2Gs74m5jbjxg0 7XA81ncUBHuZ9DX4is+fWVHus7TZ4V92SOakf/2AvnfOYcxZATUp5OHZE0KmkPBOtwwjkiWn tta1r98RoOjPBFBvpBhLZeR0IkRbxW2JGZiZ/VF14FRFEH+fACC4xS/G3qTSOhsecOTqVSZD vZwLP1hTx69jSaCjg4KDJ42foNboqQb28ogSJjKe0g266CSvxh4gqL2ryLevlImc/9qsMQ6K 77SSQ68L3yttSNqvFHJ/eZ5OTueQNgbZQfD8vi/38cXGrki7ux9U0EA/YGlnneSMTlI2QCwu SHCbr6Lz91zlN1ljqr3M6B5Hw7vA8jCZOeJ1wGSstp1ctLEN/nVhT4VslXKOwd3P6MbftZKy YS2r9/82X3asIYMU2z2n4eLE49L756QWNV7H93WLn4Auwe/Q+7pvgU+/l6nJaxzkN9y4tetQ y26YpCScf8XQ9Js+21HWRNBEhoyC7XFUYm4nHmT98+zMxk61RDLCPiF9nWzNGFSSXIuCq3EU wTxv66j28BcoIFyHyQ7PvBBAaEpEG+7DOFiP5f0uCKDB2alvkKat/Gw3VA84DXMET+fHNy8/ ZvBQQPkeQ+vvL3TiutUqJF2ogZdGUMVbTPcpa7B04UeZ/GG4G86wSA1NJwHDpxOyGr+34q+b jvOKmIpTzj+NdiBndMQ//y7NjpzxMRXUjs6GtDt10+fcGG8DoDGCbAn6yQID7JeZG741O/+Q T0B0iSYA/Vyq62Fgc4f7ef9i+1kgPrRgG8Lkaw4fwoeHD5GaYg3OLdd8MahmMAJ/wwhVKkGG ITteV15fQ==
- Ironport-hdrordr: A9a23:ezcqFqAJ/sC2pfTlHemk55DYdb4zR+YMi2TDpHoedfUzSL38qy nOpoV46faaslsssR0b+OxoW5PtfZq/z/RICOAqVN/IYOCMgguVxe9ZnOjfKnHbdBEXmoNmpM NdT5Q=
- Ironport-phdr: A9a23:a2Uc3xAkksKkwL72O+0UUyQUTkoY04WdBeb1wqQuh78GSKm/5ZOqZ BWZua8wygSZDM6Ft7ptsKn/jePJYSQ4+5GPsXQPItRndiQuroEopTEmG9OPEkbhLfTnPGQQF cVGU0J5rTngaRAGUMnxaEfPrXKs8DUcBgvwNRZvJuTyB4Xek9m72/q99pHNYwhEnjSwbLB2I Rm5rAjcudQdjJd/JKo21hbGrXxEdvhMy2h1P1yThRH85smx/J5n7Stdvu8q+tBDX6vnYak2V KRUAzs6PW874s3rrgTDQhCU5nQASGUWkwFHDBbD4RrnQ5r+qCr6tu562CmHIc37SK0/VDq+4 6t3ThLjlSAIOSMk8GHMksx/kr5UoA6vqRx4xo7beoCVNPxjda/Zct4XQW9NU8BMXCJDH4y8d ZMCAekPM+lXoYbzp0YAowWiCgejH+7v1jxFi2Xq0aEm3eksEwfL1xEgEdIUt3TUqc34ObkIX uCv16nI0SvMb/VL0jn99YjIcgshquyLUL1sa8XR01IvFx/bgVWWsoHqIi+a1v8Xv2eA9OVgV vijhHQ7pA1rvzivxd4hh4/UjY0a1l7K7z92wJopJdKmUk57Z8apHYdOuyybOYV4TM0sTm5mt is5yrALp5C1cSgFxpkjxxPRZP6KfoyW7x79SOqfLzd2iXNrdr+7mxq/8VSsx+/+W8SyzV1Eo C1FktzWuXAM0Rze8seHSvph/kehxDaAzBrf6uBDIUwsi6XUMYUhw74smZoUt0TDEDH5mF/og 6+Qakor5POo5/75bbX7oJKXKox6ihnmP6gznsGyD/40PwkTU2SB5+ix0Kfv8ELhTLlXivA7n LPVvI7ZKMgBqKO0ABVZ3pg/5xu9CTqtzc4WkmMdLF1ffRKKl4jpNE/KIPD/Ffq/hk6jkDZvx //YJL3tHI/BIWXfn7f6Z7py8FVTyAkpwd9F+51YEKwBIPHrVk/wstzXEAM5PhSpz+vjBthxz IITVX+VDqOHNK7eq1CF6voqI+aWZY8VvDj9K+Ii5/7rlXI2hUUSfbOy3ZsLdn+4GO9rLFiFb nr3mNsOCnwFvgkkQOPwlFKOSyNTZ3WqU6I6/T40EJimApvbRoCxnLyB2z+2EoNOamBcFl+MC Wvod5mDW/oUdC2dOMphkjgdWbilSo8hzg2uuRThy7tnK+rU4jcXuYji1Nhz/e3TlAs9+SZ6D 8SHy22NVX17nnsURz8q26ByuVByylCa0aRhn/NYEcFT6OhSXwchNZ/cyvR6BMroVgLAeNeJU lemTc+8DTE/VNJii+MJNlxwBM+jkhHF0AKnBaRQk62MAto66OaU0WP6K4B2zHDI2bMsiVIra sdEPiuojehi707LG8qBmEHclr2jf6kY2COI6XyO13GmuEBDTBU2WqzAG3kUIFbV6Zzl91vPV PqnD7IgLw1KxOaGK7BWcZvygFxdAur7NdLYJW+9hiP4PQyPwb2wbIftYXQ12CTGFFNCmQkP/ TCPPk4jBWPpqGXHSTdqCFjHYkX28OA4pmn/BkQ9ygXPa0x6y5K0/AQUjLqSUbdb1bYNoA8us TJpBFummcjbDdOcqhAncr8PT8k65QJs3HjCqwF7drK9L7sq0lUXaR9rskXG2x5sTI9Kko4jp zU3z1wheuqjzFpdembAjtjLMbrNJzyurXhHCobT01Dai5ON/7sXre8/sxPltR2oEUwr9zNm1 cNU2j2S/MaCFxIcBLT2VEt/7B1mv/fCeCBo7IrOzmFhN4G4uSSE0dgqQuIujAujLJ9EKK3RL AbpCIUBAtS2bukjmlyndBUBaetb7rUoMsWOe/CdnqShP6Bpl3S7jjcP+5hzh2SL8Sc0UevUx 9AFzvWfixOATCv5hUy9v9rfnIlFYTwIRCyzwjOiDoRSIKR5O5sIYYu3C+uwwNg2x5vkWnoDs UWmG0tDw8ixPxybc1362wRUk0URu32u3yWinXRylHkyo6yT0TaroayqfQcbOmNNWGhpjEv9a YmygdcAWUG0bg8v3BK77Ef+zqJfqexxNW7WCUtPeiH3KSllXM7S/vKJatRU9J4umSlcS6K2a 1PcQ7W7vhhbmyLvEm1CxSwqIimws8axlBh7hWSBaXdr+SOIIocunFGFtZqAFpszlnIcSSJ1i CfaHA25NtitppCPkovb9/u5TySnX4FSdi/iycWBsjG67CtkG07a/bj7l9v5HAw9ySK+2cNtU HCCpx/meZXm0Yy2OvkhdENrQlb3rdd5UNIb8MN4lNQL1H4Wi4/At3EOi3zvPNNz1anlKnAHR ngCyJjI40K2vS8rZmLMzIX/WHKHx8JnbNTveWIa1BU26MVSAbuV5rhJ9cdsimKxthmZIf10n zNGjOAr9GZfmOYR/gwk0iSaBLkWW0heJy3l0RqSvZiyq6BeZWDndrbVtgI2ltm7F62PpClQU 22/cJ0hWyZ7qNh8eF7By3z87Ij4dcKYNINI8EPN1U2RybQdIYl5jvcQgCt7JW/x2B9tg/U2i xBjx9DyvYSKLXls4LPsBxdZMjPvYMZAsjrpjKtYgoOXx9X2T84nRGxNBsquEaHNcnpar/nsO geQHSdpr36aHeGaBgqD8AJ9qGqJFZm3NnaRLX1fzNN4RRDbKlYM5WJcFDg8gJM9ERingcL7d 0IsrDsY/EXkpx1kxulzcRP1USHWr0G1aX1nLfrXZAoT9QxE60rPZIaV5/hoAyxe1pGqt0qHI G/dbg8OEGJDCSnmTxjze7Kp49fH6e2RAOGzeuDPbbu5outbT/6UxJir39gu73OWO86IJHUnE +wj1x8JQyViA8qA0WZqKWRfh2fXYsWcvhv55iBnspX17qHwQAy2rY6fQ7IaMM0zqUnn2uHdb qjK1WAiYTdAisFVlCSOluFZhg9U10QMP3GkQ7EJtCrAVvuWlqRMSRQRaGV6P41V7Oo1jAxEO MrWkImz2rVjyPQ/CBFMXhr8mYm/bMgOaQlRLXvhA0CGfPSDLDzPmITsZL+kDKZXlKNSvgGxv jCSFwniOC6Cnn/nTULnN+YElyydMBFE3eP1Oh9wFWjuSs7nYRynIZd2izMx27g9mnLNMyYVL zF9d0pHqrDY4zlfh71zHGlI73wtKufh+W7R9+7DNpMfqudmGAxxnuNe7W5gjbde92dOTv8zk SCUs90v61Cqn++TyyZ2BRpDrjEY4eDD9U5mOKjf6txBQSOdrUlLszzWUUVM+4gAaJWnoa1bx 9nRmbimLT5D94mR5s4AH43PL9rBNnM9MB3vETqSDQ0fTDftO3uM4i4V2PyU6HCRqYA375b2n 59bALRSTkcpG/UyBk9+WtYII9F+VXU5kvTI6axArWr7txTXSMhA69rfUemOBPz0NDuDpbxNZ h8F2+m+IY8IcIfx2AprYR9nn86ZfiiYFcAIqSpnYAgupUxL+3UrVWw/1XXubQa16WMSH/q59 vbTogd1eqIn/jSq6lxxO1mY/EPYf2E9ks6jizqSNjf6arqzD9g+48vcskEwNp7hGUB5Zhb0l 0Zncj7PAa9S3eMISA==
- Ironport-sdr: 64774bde_oBb0gxD7bZ5L+w6JwIcfkzNhJbixniCRIKQjUa3n1DGKaX0 565bKlAs4p0qot0DcQoKLu8ZkdOFli9mw4NWN5g==
----------------------------------------------------------------------
**
** **** CALL FOR PARTICIPATION ****
**
** HOR 2023 - 11th International Workshop on Higher-Order Rewriting
** 4 July 2023
** Rome, Italy
**
** https://hor2023.github.io/
----------------------------------------------------------------------
**
** HOR 2023 is affiliated with FSCD 2023
** https://easyconferences.eu/fscd2023/
**
----------------------------------------------------------------------
* OVERVIEW
HOR is a forum to present work concerning all aspects of higher-order
rewriting.
HOR aims 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.
----------------------------------------------------------------------
** REGISTRATION
----------------------------------------------------------------------
The registration page for FSCD 2023 and affiliated events, such as
HOR 2023, is available here:
https://easyconferences.eu/fscd2023/registration1/
The early registration deadline is *** 31 May 2023 ***.
Attending HOR 2023 is possible both in-person and remotely.
----------------------------------------------------------------------
** INVITED SPEAKER
----------------------------------------------------------------------
Pablo Barenbaum – Universidad de Buenos Aires, Argentina
----------------------------------------------------------------------
** ACCEPTED PAPERS
----------------------------------------------------------------------
The list of accepted papers is available here:
https://hor2023.github.io/#accepted
----------------------------------------------------------------------
** COMMITTEES
----------------------------------------------------------------------
** PROGRAM COMMITTEE
* Takahito Aoto - Niigata University, Japan
* Maribel Fernández - King's College London, United Kingdom
* Carsten Fuhs (Chair) - Birkbeck, University of London, United Kingdom
* Delia Kesner - Université Paris 7, France
* Cynthia Kop - Radboud Universiteit Nijmegen, The Netherlands
* Damiano Mazza - Université Paris 13, France
----------------------------------------------------------------------
** STEERING COMMITTEE
* Delia Kesner, Université Paris 7, France
* Femke van Raamsdonk, Vrije Universiteit, The Netherlands
- [Coq-Club] HOR 2023: Call for Participation, Carsten Fuhs, 05/31/2023
Archive powered by MHonArc 2.6.19+.