вт 26 апреля  
ср 27 апреля  
чт 28 апреля  
пт 29 апреля  
ср 27 апреля Лавровские чтения
ауд. 405

Можно ли сегодня гарантировать, что в реальной программе
ни одной ошибки нет? Оценка AutoProof

45 мин.

Мейер Бертран
PhD, профессор
заведующий кафедрой программной инженерии ETH
профессор университета Иннополис
член программного комитета

Через 10 лет программы будут нарисованными, а не написанными

45 мин.

Терехов Андрей Николаевич
д.ф.-м.н., профессор
заведующий кафедрой системного программирования СПбГУ
председатель программного комитета, руководитель секции

Соавторы доклада: Брыксин Т.А., Литвинов Ю.В.

Эволюция триады software engineering: задачи, технологии, люди

45 мин.

Шафиров Максим Геннадьевич
СЕО JetBrains, S.R.O.
тренер команды победителей (СПбГУ) чемпионата мира по программированию 1998 г.

Некоторые тенденции развития IT. Технологии и корпоративные информационные инфраструктуры

45 мин.

Нестеров Вячеслав Михайлович
д.ф.-м.н., профессор
генеральный директор Центра разработок компании EMC
в Санкт-Петербурге
член программного комитета, руководитель секции

чт 28 апреля Лавровские чтения
ауд. 405

Четвертая промышленная революция и будущее информационных технологий: десятилетняя перспектива

45 мин.

Ткаченко Станислав Леонидович
д.э.н., профессор кафедры европейских исследований СПбГУ
профессор Болонского университета

Роль ИКТ в реализации Национальной Технологической Инициативы

45 мин.

Макаров Валентин Леонидович
президент некоммерческого партнерства разработчиков программного обеспечения РУССОФТ
член правления АП КИТ

Стохастическое программирование и мультиагентные технологии

45 мин.

Граничин Олег Николаевич
д.ф.-м.н., профессор кафедры системного программирования СПбГУ
член программного комитета, руководитель секции

Адаптивный дом

45 мин.

Цытович Павел Леонидович
к.ф.-м.н., доцент кафедры системного программирования СПбГУ
специалист в области разработки и архитектуры ПО Luxoft Training

Цель и название

Инициаторы

Место проведения

Расписание

Научная программа

Секции-семинары

Регистрация / Вход

Публикации

Контесты

Программный комитет

Оргкомитет

Документы

Отзывы и рейтинги

Адреса и телефоны

Отчёты о работе

Бакин Е.А.

Бурова И.Г.

Герасимов М.А.

Голяндина Н.Э.

Граничин О.Н.

Демьянович Ю.К.

Ермаков С.М.

Зикратов И.А.

Косовский Н.К.

Крук Е.А.

Леонов Г.А.

Молдовян А.А.

Нестеров В.М.

Новиков Б.А.

Прохоров В.В.

Терехов А.Н.

Тулупьев А.Л.

Фахрутдинов Р.Ш.

Фёдоров А.Р.

Фрадков А.Л.

Шалыто А.А.

Юсупов Р.М.