[Acm-announce] ACM Meeting tomorrow (4/9) at 5:30pm in SEO 1000

[Gary Turovsky]

Hey guys,

The next ACM meeting will be tomorrow at 5:30pm in SEO 1000.  We will  
be discussing the Satisfiability Problem (SAT).  There will be free  
food and drink, as usual.

Come flex your brain with us
Gary Turovsky
ACM President