IFIP Working Group 1.6: Rewriting

July 5, 2023 - Rome, Italy

Date

The date for the annual meeting of the IFIP WG 1.6 is Wednesday, July 5, 2023. The meeting is co-located with FSCD 2023 and CADE 2023, and will take place during the third day of FSCD.

Aims

• To support the development of rewriting in particular and the study of formal structures in computations and deductions in general.
• To expand on the awareness and success of rewriting and lambda calculus in theoretical computer science.
• To represent and seek cooperations between all communities working on formal structures in computations and deductions.
• To foster development of applications of theoretical advances.

Invited Speakers

• TBD

  Abstract: TBD

• Abstract: TBD

Participation

The meetings of the working group are public, with the single exception of the business meeting.

Chair and Co-Chair/Secretary