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

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