We have two seminar series and a few special interest groups:
We also have a few special interest groups:
Problems with bugs in your code? Doctor Rustan's tool to the rescue! Talk by Rustan Leino from Microsoft Research on Tuesday March 20, 2012, at 13:15.
The Theory group coaches teams successful in competitions!
Algorithms: From Theory to Applications. A symposium in celebration of Professor Stefan Arnborg's 60th birthday, February 25, 2005.