EGRAPHS Community

Talks begin at 9am PT on Zoom.

E-graphs Modulo Theory

Speaker: Sofia Brookie

2026-05-21

Sofia Brookie (Chalmers University of Technology) will discuss E-graphs Modulo Theory.

Abstract

TBD