News and Events: Upcoming Events

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 , or Ronald de Haan at .

Please note that this newsitem has been archived, and may contain outdated information or links.