Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] Meeting IFIP WG 1.6 on Rewriting (5 July 2023)...

view this post on Zulip Email Gateway (Jun 11 2023 at 15:03):

From: Cynthia Kop <C.Kop@cs.ru.nl>

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

Last updated: Jan 04 2025 at 20:18 UTC