people from outside UW should
send email to theory-group-request AT cs.
View the email archive for
the theory mailing list
590z this quarter will have mix of student presentations and talks by
outside speakers presenting current research.
The main topic for the student presentations will be some
new results about Vertex Cover and Max-Cut problems based on a family of proof
systems for 01-programming problems introduced by Lovasz and Schrijver that
capture all known semi-definite programming algorithms for these problems.