Rick Erkens: Automaton-based Techniques for Optimized Term Rewriting Posted on July 10, 2023 by Anna Stramaglia Event Details Date: July 13, 2023 12:45 – 13:30 Venue: MF 6.132 Categories: Colloquium After five years of PhD research I am finishing my thesis on algorithms for fast term rewriting. In this talk I will look back on the project, summarize the results, and list the open problems