|
| вт 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
|
|
|
