October 21-22 Tuesday-Wednesday Vladimir L. Pavlov’s workshop «Early Bug Detection for Software Analysis and Design» October 23-24 Thursday-Friday Conference October 25 Saturday Steve Mellor’s workshop «System-wide software architecture»