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
Cynthia Kop and Carsten Fuhs