Open studio

The final studio of the term opens time for course evaluations, more demos, and discussion.

Course evaluations

The form is open this week: https://uw.iasystem.org/survey/325916

What else

Possible threads:

• Walk-up demos for anyone without a slot earlier.
• Follow-up discussion on Theory's CEGIS material.
• Equality saturation and e-graphs.
• How SMT solvers compare to proof assistants like Lean and Rocq.
• Where verification work lives in industry.
• Project follow-ups for anyone planning to keep going past the demo deadline.