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