July 19, 2025 - Birmingham, United Kingdom
Date
The date for the annual meeting of the IFIP WG 1.6 is Saturday, July 19, 2025.
The meeting is co-located with
FSCD 2025,
and will take place on the first post-conference workshop day.
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
Program
TBD
Participation
The meetings of the working group are public, with the single exception of the business meeting.
The presentations are all in-person, but will be livestreamed.
Chair and Co-Chair/Secretary
Cynthia Kop and Carsten Fuhs
