• 17:00: Eelco Visser, Eduardo Amorim. Safety and Completeness of Disambiguation corresponds to Termination and Confluence of Reordering.
• 17:30: Jean-Pierre Jouannaud, Fernando Orejas. Confluence of drag rewriting.