Peter Robinson
Sublinear Bounds for Randomized Leader Election
April 18th, 2013
Andre Platzer
How to prove your robot safe
April 15th, 2013
Hubie Chen
Meditations on Quantified Constraint Satisfaction
April 22nd, 2013
Wilfried Steiner
Model-Checking Fault-Tolerant Clock Synchronization Protocols
April 11th, 17:00