Chair: Ondřej Lengál

• 18:00: Benjamin Oliver, Jens Otten. Equality Preprocessing in Connection Calculi!.
• 18:30: Robert Lewis, Paul-Nicolas Madelaine. Simplifying Casts and Coercions!.
• 19:00: Thomas Prokosch, François Bry. Give Reasoning a Trie!.