Конференция CAV 2013 в Санкт-Петербурге

17 - 18 июля клуб 4CIO организует поездку в Санкт-Петербург на конференцию CAV 2013.
Это уже 25-ая конференция в цикле, посвящённом развитию теории и практики автоматизированных методов формального анализа аппаратных и программных систем. Конференция охватывает весь диапазон от теоретических результатов до практических приложений, основное внимание уделяется практическим средствам верификации, а также методам и алгоритмам, необходимым для их реализации.

Несмотря на то что конференция носит научный характер, тема верификации программного кода может представлять практический интерес для CIO крупного бизнеса. На конференции соберется научная элита, занимающаяся этими вопросами, и у вас будет возможность получить самую свежую информацию из первых уст, узнать про тенденции, быть в тренде. Предусмотрено неформальное общение.

Мария Вожегова, управляющий директор блока ИТ Сбербанка едет на конференцию, чтобы выступить с докладом. Это еще один повод посетить конференцию - поддержать Марию. 

Наконец, третий повод - вырваться из московской суеты и застать уходящие питерские белые ночи. Хорошо провести время в компании достойных представителей профессии, CIO. А организаторы предложат участникам делегации еще и уникальную культурную программу, так что, есть все основания поехать.



Приглашения в состав делегации строго индивидуальные. Организаторы возьмут на себя все расходы участников.

ОФИЦИАЛЬНЫЙ САЙТ КОНФЕРЕНЦИИ

Руководитель проекта от управляющего офиса Клуба 4CIO

 

Елена  Петрущенкова
моб. +7 926 207 15 82
ep@4cio.ru