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