EGRAPHS Community

Welcome to EGRAPHS

2024-02-15

Talk begins at 9am PT on Zoom. The Zoom link will be distributed on the EGRAPHS Zulip just in time for each session.

Max Willsey, one of the organizers will give a high-level introduction to e-graphs, equality saturation, and sketch some new directions.

Google Slides from the presentation.