coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Meeting IFIP WG 1.6 on Rewriting (5 July 2023): Call for Participation

From: Cynthia Kop <C.Kop AT cs.ru.nl>
To: fscd.conference AT dcc.fc.up.pt, cl-isabelle-users AT lists.cam.ac.uk, types-announce AT lists.seas.upenn.edu, rewriting AT ens-lyon.fr, ProofTheory AT Lists.Bath.Ac.UK, coq-club AT inria.fr, caml-list AT inria.fr, clap AT groupes.renater.fr
Subject: [Coq-Club] Meeting IFIP WG 1.6 on Rewriting (5 July 2023): Call for Participation
Date: Sat, 10 Jun 2023 23:03:04 +0200
Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=C.Kop AT cs.ru.nl; spf=Pass smtp.mailfrom=C.Kop AT cs.ru.nl; spf=Pass smtp.helo=postmaster AT smtp2.science.ru.nl
Ironport-data: A9a23:NRg+RaOOqxW7ClTvrR2Pk8FynXyQoLVcMsEvi/4bfWQNrUokhjNVz DYWCjzXMqqNYmOhKNxzaIjjo0oAv5aExt8yS3M5pCpnJ55ogZqcVI7Bdi8cHAvLc5adFBo/h yk6QoOdRCzhZiaE/n9BCpC48T8mk/vgqoPUUIbsIjp2SRJvVBAvgBdin/9RqoNziLBVOSvU0 T/Ji5OZYAfNNwJcaDpOsPrd8Us34JwehRtB1rAATaAT1LPhvyJNZH4vDfnZB2f1RIBSAtm7S 47rpF1u1j6xE78FU7tJo56jGqE4aua60Tum1hK6b5Ofbi1q/UTe5EqU2M00Mi+7gx3R9zx4J U4kWZaYEW/FNYWU8AgRvoUx/4iT8sSq9ZeeSUVTv/B/wGWZUXCw//pFEXssY6lDxc18EVFWq u4XfWVlghCr34pawZqgT/V03II4J8jmOogS/Gt9izfdZRokacmYGuOTuoMehWl235wTdRrdT 5JxhT5HR1LjZAVnMUxREo94muPAanzXKmQC8gnE//Rti4TV5DRf1bOzLebnRoebW91XhWWVu j/sznusV3n2M/TElWXary/17gPVpgvwUYcWUbm57eJCm0yW3mVVCRsMVFL9r+PRokW5QpdUL 1Ee0jE/qLA7sk2tVNj0GROiyENopTYHXsZISash4wCAzKHZpRyEQG4AJtJcVDA4nJAUTmAW2 XSUpcm3IWdQm7aFeWrC5LjB+FteJhMpBWMFYCYFSy4M7N/ivJw/g3rzczpzLEKmpoCsSWqgn lhmuABj1+pI1abnwo3ipTj6bySQSo/haCpdCu//eGOn6w52aYjNi2eAtwWBtJ6swK62Q12Ns WIAks6ShN3i4LmWkTCVGqMWF7Ck4f2IdifBx1hrd3XAy9hP0yD7FWyzyGggTKuMDiriUWW5C KM0kVgJjKK/xFPwMcdKj3uZUqzGN5TIG9X/TezzZdFTeJV3fwLv1HgwNRDMhTm9zBBwz/tX1 XKnnSCEUCty5UNPkWbeegvh+e57rszD7TOPH8mllE7PPUS2OyTOGd/pz2dinshisPzb/ViMm zquH9CX0RsXWqvgJEHqHX07czg3wYwALcmu8aR/L7fTSiI4QztJI6GKntscl3lNw/g9ehHgp SvmCye1CTPX2RX6FOl9Qio6MuK/Dckj9C9T0O5FFQ/A5kXPqL2HtM83H6bbt5F+nAC65a4rE 6s2aI+bD+5RSz/K3T0YYNOv5MZhbRmnz0bGdSasfDF1LdYqSh3r6+3UWFLl1BAPKS6r6uo4g bmrjT3ATbQ5Gg9NMcfxadCU9W2Xg0QzouxIYhb3EoFhQ3m0qIlOAA7tv8AzOPAJeEnixCPF9 gO4AiU4hOjqoq03+8iUlKy/8pqjOMplP09gB2KAx62HBSrb2WuCwIF7T+eDew7GZl704KmPY eZ0zen2Ff82g2ZxrIt3Foh0wZIE59fAo6FQyiJmFi7pa2uHJ6xBIH7c++VyrYxIm6FkvDWpV nK1+tV1PauDPOXnGgUzICsnduGy6uEGqALN7PgaIFTI2wEvxeCpCX5tBhirjDBRCJBXM4l/m Ocoh5Mw2jyF0xEvNo6LszBQ+2GyNUc/aqQAtK9LJK/wiwEu9ENOXoyENA/y/6O0SottNmsEH 2aqoZTs1pVm6GjMSX4RLUT2/PF8gM0OsS9azVVZKFWunMHEt8AN3xZQ0GoWSyJH6hNlisZ2Z 3NKNlJ0F4qK7TxHlMhOZEHyOgBjVTmy2F399EsNr0LdF3KXb23qKHYsH+Sn8GQy0XNuThIC8 J62kG/aACvXJufv1S4MaGtZgv3ET+0p0DbdmcqiTv+3L7NjbRXL2qaRNHc18T35CsYMhWrCl +lg3MB0TYbZbScwgakKO7O25IQqaiKvBTJ9GKl63aYzA2vjVim42mGOJ2CPa8p9HaH23nHiO fN+BPBkdkqY5H6VoyE5FJw8BeZ+vMQU6eoofpLpIm87sIWjkAd5jaKI9gbCqT8qZ/5MjfcCL pjgcmPeM26I2lpRtWz/jOhFHWuac9M0XhLZ3b2nwb8NE5gGluVId2Nr9r7ppFSULwpV0BaGt yzTZ6Lt7rJDyKY9u6DOA6l8FwGPBterb9ux8Se3qMZrQerUFNXn7ic5iwPCEVxNHL0zX99Xq +y8gOTv1hmYgIdsAnHrpZaRMoJou+OwZbNzGeDqJiB4mSCiZpfd0yEb8TrlFa0TwcJv3ej5d Q6Wc8DqSMU0Xe1az3hrayRzNRYRJqD0T6X4rxOGsPW+JUkB4DPDMe+Y2yflXUNDeg8MHq/OO Av+lvKtx9Jf9YpyXU5OQ7ksBpJjO1bsVJc3b9C753HSEmCshUjEobf40wYp7TbQEHSfDcLm+ tT/SwPjcAip8rT9pD2DX1eeYjVMZJq8vQUxQq7Z08VzlyjgSnUNLOkbOphAEIwSlCiaOFTQe mTWdGV7YcnidW0sTPk+yI2LssSj6igmMcy/PCFv+Uf8h+KeGtabGLU4nst/yy4eR9Ygpd1L7 fkV4TvqI163xvmFgArVCuOT2Y9a+x8R+p7EFY0RXSA/79byzIjmDEBcITc=
Ironport-hdrordr: A9a23:LrdKq6ypu3DZ0zT9LiwaKrPwJL1zdoMgy1knxilNoG9uEvBw9v rCoB1/73XJYVkqN03I9erwWpVoIkmzyXcW2+Us1N6ZNWGMhILCFvAG0WKN+UyCJ8SzzI9gPc sMSdkbNOHN
Ironport-phdr: A9a23:Fto6bBXfsAOEZPZP92ploRs2iafV8KweXTF92vMcY1JmTK2v8tzYM VDF4r011RmVB9idt6scwLOL7ejJYi8p39WoiDg6aptCVhsI2409vjcLJ4q7M3D9N+PgdCcgH c5PBxdP9nC/NlVJSo6lPwWB6nK94iQPFRrhKAF7Ovr6GpLIj8Swyuu+54Dfbx9HiTajYb5+N hq7oRjNusUZnIdvKqc8wQbVr3VVfOhb2WxnKVWPkhjm+8y+5oRj8yNeu/Ig885PT6D3dLkmQ LJbETorLXk76NXkuhffQwSP4GAcUngNnRpTHwfF9hD6UYzvvSb8q+FwxTOVPczyTbAzRDSi8 6JmQwLmhSsbKzI09nzch8pth6xZvR2hvQRyzJLXbo+bO/VxcL3Tc9MHS2daRMldSzZMD5mgY 4YBDecMO/tToYnnp1sJqBuzHRehBePpyj9Uhn/23Lc12PkkHwHBxAwrAtUDvWrOoNvwM6cSS fu4w7XTzTnZdfNWxC3x6I7Mch04p/yHQL1/f9bLx0Y1CwPFkkufqZbjPz6Ny+gAvWeW4upvW OyvhWAqpQF/rDeyyssxhYfEhJ4Zx1PF+Chkz4s4OdO2RFN7bNK4DpZdqiGXOo9rT84iTWxlp CA3waAIt568eSgF0pUnxxjHZvydboiE+BTjVOKJLThmnn1lY7K+iAq18UimxO3zSNO030hMr iVZjNbMrWoB2ALO6sWBV/Bz/V+h1C6S2w3d9+1IO104mKjUJpI737I9l4AfvVnMEyL2gEn7j q2bel869uWn6OnreLrrq5GGO4NpiAzzM6IjkdGlD+siKAgBRW2b9Py81LL9+U35R61HjuYzk qnFqJDWO94XprWlDA9UzIkj7QqwACm83NQCgHkLNlRFeBafg4joPVHBPuz4AO+ij1mijTtn3 e3KM7/uD5nXM3TOka3tcaty5kNc0AYzyMpQ55NQCrEPOvLzXUrxucTGAxMjNgK0xP7nBc5h2 YMFQ26PGLKZPLnUsV+M/u4vJfKDa5cPuDnhM/gl++LujXghlFMDZaWpx4cYaGikHvR6JEWUe Wbjjc0EEWcOpwY+SO3qiEaeUTNIfHazX6c85ikhB468DIfDQJqtgL2b0yuhEJ1WfHhKCkqQH nfwa4WER/AMZTqOLc9mizwITKSuS4s81R61rwL60LpmLu/M+iICr57j1d515/fSlR4o7zB0A d6dgCmxSDR6hWgEATQx2q5yu0F7wVqr3aNzxfJTU8FLoetVFk8xMdvd1OVwBtT2V0fcZdqTU 36iQ866Gnc6R9d3ytRIfkU5U8mzlh3YmiOsBbgIkbeGLJg16b7HmWP8Lt071m7L0q9nglU7B oNVOHK8h7J+8Qf7CojS1kGIkKDse75YlBbX82CN8WqDu1tJeCpxSrneG1oWekuQhN+/22CGB 7SpEPEsNhZL4c+EMKpDLNPzyR1NTfLnfdDfeH6ZmmGqBB/OyKnIJIHucn010z/aFVAJiEYJ8 HCPKQUkQCm78EzECzk7PkPpf0Pt+KFdr2vzGmRy7AaSR0Z6kaCovBgR06/PA8gP164J7X9y4 w5/G0ywioq+47uoogNgeP8ZetYh+BJd0mmfsQVhP5umJqQkh1gEcg0xsVm9nw5vBNBmls4n5 Ggv0BI0MbiRhXgHVDSA9ZvrfKfKbG/2r1i0c6CD4ljFy56N/7sXrvExqlHtpgasQ2Fk0HJ/+ 9JOlWGBoJPOX0IJSZykak8s7FBhoq3CJCkw44SBzXp3Lay9qSPPwfoyAfc9kFC7dNZSNqiJU hXvVcsebyS3AMotnVXhLhcNPeQIsbUxI9vjbfyNnqiiIOdnmjuiy2VB+oF0lEyWpWJ6TabT0 pAJzuv9vEPPXirgjFqnrsH8mJxVLTAUEG2lzCH4BYlXLqRsdIcPAG2qLoW53NJ7z5LqXndZ8 hakCTZkkIeCPzmVd3T2xktKyAIRpT3vmCe1ySB1jyB8trCWj2TFx+XvcgZCO3YeHTI7yw6zf c7t0ZZDABX7Cmph3AGo7kv72aVB8aF2Lm2JBFxNYzCzNWZpFK25qruFZcdLrpIuqyReFuqmM jX4AvbwpQUX1yT7Ei5Q3jc+InuB/Lb+hzRxkySHMTB1qDCKMdE13hrZ6NHGELR6mBkBXAFzk n/NGx66O5P6mLfc34eGuee4WWW7U5RVeiS+1oKMuhyw4mhyCAG+lfS+8jH+OTAzyjSzl9xjV CGS6Q35fpGuzaOxd+RuYkhvAlb4rct8AIB31IUq1tkc3n0Th5Pd+nRi8y+7GpN43rrWZ2FLX yNNxdqd7AX+2UJlJ26E3MqgDSzbm5Q9IYDkJDpKh2o09IhSBb2R7aBYkCc9uVe+oQ/LIJ0f1 n8cxfYo9H8GkrQMsQspwD+aB+NaFk1ZMCrw0hWQuonl9eMOOzrpKOb2jRYjzrXDRPmYrwpRW Wj0YMInFC50tIBkNU7UlWf04cficcXRatQasluVlQ3Bhq5bMsFU9LJCiCx5NGb6pXBgxfQ8i Ekk9teZu5CvIH4r5r//BBoSZXXlItge/D3gl/MUtYC12JiHFY4nAChNWp+iHpfKWHoC8P/gM QiJCjg1rHyWTKHeEQGo40Bjt3vTEpqvOiLfNDwDwN5lXhXYOF1HjVVeQmAhhpBgXFPPpoSpY AJj6zsW/FK9thZc1rciKUzkSmmG7AawNmVtE8HZdUUKqFoaoRuIec2GsrAqRHgep8L96lfVb DPCAmYARWARBh7dXAmlZ+byo4KYtbHJXaK/N6ecOO7X77UBC7HTndT1itsu/i7QZJzUZz87U KF9gxQFBCwifqaR0zQXF35OzHuLNpHH4k7ivHQr84i+6Ki5AVm2o9LQV/0Lb5M2pkD+gL/fZ bfA2WAgcmwej8NXgyaRk919lBYTk308LmnwV+1Q7miWFOSOyudWF0JJMngqcpIXs+RlgE8UZ J6Ti8uphOcj17hsVAsDDgSnxZjMB4RCInnhZgqcXQDSa+jAfmWNmZmvKaKkFe8J17wS7kLs/ 23DVRW7bnyVnj3tHXhDKMl0hTqAdFxbsYC5KFN2DHT7CcjhYVu9OcN2ijs/xfs1gGnLPCgSK 2o0f0RIp7yWpSRW55c3U3RG9WZgJPKYljyx9OzEMsxQqvBqDyJ/mqRA/TI8z/NZ4TpFS/p8h CbJ5oc1+hf/zbXJk2QhCUYT4j9Q4eDD9V1vI6DY6oVNVT7f8RQB4H/RQxUGqt15C8H+7qBdz t+c3Kn3KTpE75fV5Z5FXJGScZ3bdiN/d0O1RW2xbkNNVzOgOGDBilYIlfiT8ifQtZ0mst32n 5FITLZHVVszH/dcC0J/HdVELo0kO1Fs2bOdksMM4mKz6RfLQ8AP9LuBdfWKKf70biyEy79AL Uhto/uwPcEIO4v31lY3IEF9h5jPElHMUMpluSh9dlVyu05M/X51QyspxgTjbkn+hR1bXe7xl RkwhAxkZO0r/zq5+FY7KG3Boy4omVUwk9Ho0niBNST8J6CqUcRKGjL54gIvZ4jjTV8/PmjQ1 QR0cS3JTLVLg/58eHB33UXC7IBXF6cUTLUYMkZLnLfOOKluigwa9njvxFcbt7KeUN07y1dsK sbq8CsluUorbcZpd/WLfewQkQQW3frI537znuEpnF1HfB9LqTzOPnVQ/hZQZvEnP3b6p7c1r 1Xdx30aJi5VC6FPwLoi91thab3blmS5jOIFcx73brDCZ6KB5zqZzpfOGwxskBpW0RAYrfB3y ZtxKhrJERl0lv3IR09PbJOZTGMdJ8tKqCqKLXvI6LWWh8ktedvtXuHwEb3X7/9S2x34Wl93W d1RvowABsX+iRqBa564cPhekVNyvWGJbB2EFKgbIUnS1m5Y/4fklNkthdEVJylBUzwmaGPuu eqR/Vds2qLTFME/ZnNQNmPrHnktHten3Shd7S0o5NifyecF0FLE9DT9qyLbAX/mcpxlYKXND fuJINqtvy8ita6y2wa/zw==
Ironport-sdr: 6484e50d_uBNJQjXCp9XEDr/jlShY0Vzra/iwFltUxL4rVBUCukrzp8Q LRSxrYmsLPUicDuydSqdzuYYwD76c/Cil5abFOw==

----------------------------------------------------------------------
**
**      ****    CALL FOR PARTICIPATION    ****
**
**    Meeting of the IFIP Working Group 1.6 on Rewriting (IFIP WG 1.6)
**    5 July 2023
**    Rome, Italy
**
**    https://ifip-wg-rewriting.cs.ru.nl/events/event-2023.html
**
----------------------------------------------------------------------

Both members and non-members of the working group are invited to
attend the public section of the upcoming meeting of the IFIP Working
Group 1.6 on Rewriting (IFIP WG 1.6)

----------------------------------------------------------------------
** TENTATIVE PROGRAMME
----------------------------------------------------------------------

    10:30 - 12:30: Session 1
    - 50' Thomas Genet:
          Using Tree Automata for Verification, at last (invited talk)
    - 20' Aart Middeldorp:
          The International School on Rewriting
    - 50' Temur Kutsia:
          Symbolic techniques for quantitative extensions of equality
          (invited talk)

    12:30 - 14:00: Break

    14:00 - 15:45: Session 2
    - 50' Frédéric Blanqui:
          Lambdapi, a proof assistant using rewriting (invited talk)
    - 25' Luigi Liquori:
          A New Rewriting Website (proposal)
    - 30' business meeting (members-only)

----------------------------------------------------------------------
** REGISTRATION
----------------------------------------------------------------------

The registration page for FSCD 2023 and affiliated events, such as
the meeting of the IFIP WG 1.6, is available here:

https://easyconferences.eu/fscd2023/registration1/

Please note that FSCD participants still need to separately register
for IFIP (but there is a discount).

Attending the meeting of the IFIP WG 1.6 is possible both in-person
and remotely. All parts of the programme are public, except for the
members-only business meeting at the end of the programme.

----------------------------------------------------------------------
** CONTACT
----------------------------------------------------------------------

* Chair: Cynthia Kop, Radboud University Nijmegen
* Co-Chair and secretary: Carsten Fuhs, Birkbeck, University of London

* More information about IFIP WG 1.6:
https://ifip-wg-rewriting.cs.ru.nl/

----------------------------------------------------------------------

[Coq-Club] Meeting IFIP WG 1.6 on Rewriting (5 July 2023): Call for Participation, Cynthia Kop, 06/10/2023