STOC2017

STOC 2017 Theory Fest: 49th Annual ACM Symposium on the Theory of Computing
June 19-23, 2017 in Montreal

We are pleased to have two Keynote Lectures on Tuesday June 20 8:50 a.m. and Thursday June 22 8:50 a.m. at STOC TheoryFest 2017. The Knuth Prize Lecture will be presented on Wednesday June 21 8:00 p.m.

Avi Widerson: "On the Nature and Future of ToC"

Orna Kupferman: "Examining classical graph-theory problems from the viewpoint of formal-verification methods"

Knuth Prize Lecture: TBA