КУБИТ снова открывает сезон очных встреч в Министерстве

Клуб КУБИТ выходит с летних каникул и приглашает резидентов на первую встречу нового сезона!

Место осталось прежним: Лофт Министерство (м. Театральная, Столешников пер., д. 6 стр. 3)
Начинаем в 16.00 с welcome coffee,
в 16:30 стартует деловая программа.

Формат - традиционно off the record

В программе обсуждение двух вопросов:

1. Доказуемая безопасность: формальные методы и новая эра надежных систем

Каждая новая серьезная ошибка в ПО вызывает один и тот же вопрос: можно ли было это предотвратить, вместо того чтобы защищаться постфактум? С помощью формальных методов, кажется, ответ все чаще становится утвердительным - математически доказывая корректность, а не полагаясь исключительно на тестирование. В том числе поговорим и о том, как различные отрасли - от аэрокосмической и автомобильной до тяжелой промышленности - могут применять подходы, выделяющиеся на фоне конкурентов и пользующиеся доверием регулирующих органов, клиентов и акционеров.

Спикер: Сергей Игнатов, Независимый исследователь, аспирант ИСП РАН.

В диалоге с сооснователем Клуба КУБИТ Никитой Леушиным

2. Дорожная карта КУБИТ (открытая дискуссия о приоритетных проектах Клуба)
- какие темы члены Клуба хотели бы обсудить на следующих КУБИТах? (предложения, направления и пр.);
- потенциальные внутренние бенчмаркинги между участниками КУБИТа (темы, NDA и гарантия КУБИТа по обезличиванию);
- тема "Повышение осведомленности - базу сделали, что дальше?" (кого приглашаем развивать тему?)

Модераторы: Андрей Кульпин, сооснователь клуба КУБИТ и Сергей Гусев, CISO Северсталь, член совета КУБИТа

После деловой части отметим начало нового сезона КУБИТ в неформальной обстановке.