Hey guys, There will be an ACM meeting today at 5:30pm in SEO 1000. It will be about the Satisfiability Problem. There will be free food and drink. See you there Gary Turovsky ACM President