Room 116 and Zoom
No Upcoming activities yet
Not meeting on 4/18. Enjoy the SAT Reunion workshop: "Satisfiability: Theory, Practice, and Beyond"
April 25th Description