July 18, 2026 - Lisbon, Portugal

Date

The date for the annual meeting of the IFIP WG 1.6 is Saturday, July 18, 2026. The meeting is co-located with FSCD and IJCAR 2026, at FLoC, and will take place on the first pre-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

Clemens Grabmayer
Finding small steps for approaching hard questions, in work on the process semantics of regular expressions
Abstract: From my work (*) on the process interpretation of regular expressions I want to explain several examples for where my background in rewriting, proof theory, and Lambda Calculus was instrumental in finding a solution, or getting closer to one. The hard questions hereby concern, first, the recognition of graphs that are isomorphic to, and respectively bisimilar to, process interpretations of regular expressions.

The examples concern approaches and ideas inspired from rewriting and proof theory more than direct applications of results. They will mainly be of two sorts: (1): Formulating local simplifications of process graphs with structure constraints as small steps in order to reason about global properties (such as structure non-/preservation under bisimulation collapse, decidability of expressibility by a regular expression). (2): Interpretation-readback correspondences, of varying tightness, between regular expressions (as terms) and graphs (denoting processes).

(*) Some of it with coauthors: importantly with Wan Fokkink, and earlier with Flavio Corradini and Jos Baeten.
Misaki Kojima
TBA
Abstract: TBA
Deivid Vale
TBA
Abstract: TBA
Uwe Waldmann
Clause orderings: What's in between weight-based orderings and multiset extensions?
Abstract: TBA

Preliminary Program

09:00--10:00: Session 1

Invited Speaker 1

10:30--12:30: Session 2

Invited Speaker 2
Invited Speaker 3

14:00--15:30: Session 3

Invited Speaker 4
Luigi Liquori: update on the rewriting.inria.fr Website Project

16:00--17:30: Session 4

Cynthia Kop: overview of ISR 2026
Business meeting (only for members of the working group)

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