<html>
<head>
<meta http-equiv="content-type" content="text/html; charset=UTF-8">
</head>
<body>
<p>----------------------------------------------------------------------<br>
**<br>
** **** CALL FOR PARTICIPATION ****<br>
**<br>
** Meeting of the IFIP Working Group 1.6 on Rewriting (IFIP WG
1.6)<br>
** 5 July 2023<br>
** Rome, Italy<br>
**<br>
** <a class="moz-txt-link-freetext" href="https://urldefense.com/v3/__https://ifip-wg-rewriting.cs.ru.nl/events/event-2023.html__;!!IBzWLUs!UEJZqdGWG4RIcg074TFcX_EFurgBySX6XPapesEq4PYRDPUNQyHZaIjOdIgsxEsTV_Uc6LaDKeRpGZj-zJ7axSnKy_Ka$">https://ifip-wg-rewriting.cs.ru.nl/events/event-2023.html</a><br>
**<br>
---------------------------------------------------------------------- <br>
<br>
Both members <b>and non-members</b> of the working group are
invited to<br>
attend the public section of the upcoming meeting of the IFIP
Working<br>
Group 1.6 on Rewriting (IFIP WG 1.6)<br>
<br>
----------------------------------------------------------------------<br>
** TENTATIVE PROGRAMME<br>
----------------------------------------------------------------------<br>
<br>
10:30 - 12:30: Session 1<br>
- 50' Thomas Genet:<br>
Using Tree Automata for Verification, at last (invited
talk)<br>
- 20' Aart Middeldorp:<br>
The International School on Rewriting<br>
- 50' Temur Kutsia:<br>
Symbolic techniques for quantitative extensions of
equality<br>
(invited talk)<br>
<br>
12:30 - 14:00: Break<br>
<br>
14:00 - 15:45: Session 2<br>
- 50' Frédéric Blanqui:<br>
Lambdapi, a proof assistant using rewriting (invited
talk)<br>
- 25' Luigi Liquori:<br>
A New Rewriting Website (proposal)<br>
- 30' business meeting (members-only)<br>
<br>
----------------------------------------------------------------------<br>
** REGISTRATION<br>
----------------------------------------------------------------------<br>
<br>
The registration page for FSCD 2023 and affiliated events, such as<br>
the meeting of the IFIP WG 1.6, is available here:<br>
<br>
<a class="moz-txt-link-freetext" href="https://urldefense.com/v3/__https://easyconferences.eu/fscd2023/registration1/__;!!IBzWLUs!UEJZqdGWG4RIcg074TFcX_EFurgBySX6XPapesEq4PYRDPUNQyHZaIjOdIgsxEsTV_Uc6LaDKeRpGZj-zJ7axTB9pGY7$">https://easyconferences.eu/fscd2023/registration1/</a><br>
<br>
Please note that FSCD participants still need to separately
register<br>
for IFIP (but there is a discount).<br>
<br>
Attending the meeting of the IFIP WG 1.6 is possible both
in-person<br>
and remotely. All parts of the programme are public, except for
the<br>
members-only business meeting at the end of the programme.<br>
<br>
----------------------------------------------------------------------<br>
** CONTACT<br>
----------------------------------------------------------------------<br>
<br>
* Chair: Cynthia Kop, Radboud University Nijmegen<br>
* Co-Chair and secretary: Carsten Fuhs, Birkbeck, University of
London<br>
<br>
* More information about IFIP WG 1.6:<br>
<a class="moz-txt-link-freetext" href="https://urldefense.com/v3/__https://ifip-wg-rewriting.cs.ru.nl/__;!!IBzWLUs!UEJZqdGWG4RIcg074TFcX_EFurgBySX6XPapesEq4PYRDPUNQyHZaIjOdIgsxEsTV_Uc6LaDKeRpGZj-zJ7axUPZjrp5$">https://ifip-wg-rewriting.cs.ru.nl/</a><br>
<br>
---------------------------------------------------------------------- <br>
<br>
</p>
</body>
</html>