Please note that this newsitem has been archived, and may contain outdated information or links.
11 October 2024, FOAM Seminar, Andrés Goens
Speaker: Andrés Goens
Title: Equality Saturation: Progress and Open Questions
Date: Friday 11 October 2024
Time: 15:00-16:15
Location: Room L1.12, ILLC Lab42, Science Park 900, Amsterdam
Abstract:
In equational reasoning, congruence closure is known for being a semi-decision procedure that’s efficient in practice. Equality saturation can be seen as an extension of congruence closure that allows conditional rewriting and optimizing terms in the equivalence classes. It has been very successful in domains beside automated reasoning, like program optimisation in compilers. In this talk we wi...
For more information, see
https://events.illc.uva.nl/FOAM/posts/talk17/
or contact Gregor Behnke at g.behnke at uva.nl, or Ronald de Haan at r.dehaan at uva.nl.
Please note that this newsitem has been archived, and may contain outdated information or links.