Adam Rogalewicz

The Tree Width of Separation Logic with Recursive Definitions
Tuesday, December 17, 2013 at 16:00

Mira Mezini

From Active to Reactive Objects
Thursday, December 5, 2013 at 17:00

Petr Rockai

Explicit State Model Checking with DIVINE; December 6th, 2013