Iyad Kanj

What makes normalized weighted satisfiability tractable
Monday, June 25, 2012 at 11:00 c.t.

Ruslan Smeliansky

Computer Systems Laboratory – Skills, Experience, Main Research Directions
Friday, June 22, 2012 at 15:00

Werner Dietl

11:00–12:00 Verification Games: Making Verification Fun
14:00–16:00 Developing and using pluggable type systems
Wednesday, June 20, 2012

Ana Sokolova

Quantitative Relaxation of Concurrent Data Structures
June 14th, at 17:00