In cooperation with IEEE Computer Society the event is focused on static analysis, program verification, bug detection, and software maintenance.

In Yekatirinburg! Might attend, if exams allow.