|
| вт 23 апреля |
|
 |
|
|
| ср 24 апреля |
 |
 |
 |
|
| чт 25 апреля |
|
|
|
|
| пт 26 апреля |
 |
|
|
|
| вт 23 апреля |
|
Лавровские чтения |
| ауд. 405 |
|
|
Хорошая технология делает трудную задачу простой
60 мин.
Терехов Андрей Николаевич
д.ф.-м.н., профессор, зав. каф. системного программирования СПбГУ
директор НИИ Информационных технологий СПбГУ
председатель программного комитета,
руководитель секции
|
|
|
О задаче оптимального выведения ракеты-носителя
на околоземную орбиту
45 мин.
Кандоба Игорь Николаевич
к.ф.-м.н., с.н.с отдела прикладных проблем управления ИММ УрО РАН
доцент кафедры вычислительной математики ИМКН УрФУ
член программного комитета,
руководитель секции
|
|
|
Технология гидов для решения проблемы взрыва состояний
при проектировании промышленных систем
45 мин.
Котляров Всеволод Павлович
к.т.н, профессор СПбГПУ
|
| ср 24 апреля |
|
Лавровские чтения |
| ауд. 405 |
|
|
Последняя монография Святослава Сергеевича
45 мин.
Герасимов Михаил Александрович
к.ф.-м.н., доцент кафедры информатики СПбГУ
руководитель секции
|
|
|
Микроконтекстная облачная технология представления
и обработки знаний
45 мин.
Прохоров Владимир Валентинович
д.ф.-м.н., профессор УрФУ
генеральный директор ООО "Научно-производственный центр "Видикор"
член программного комитета,
руководитель секции
|
|
|
Алгебраические байесовские сети и родственные модели знаний
с неопределенностью
45 мин.
Тулупьев Александр Львович
д.ф.-м.н., профессор кафедры информатики СПбГУ
заведующий лабораторией ТиМПИ СПИИРАН
руководитель секции
|
|
|
Оптимизация использования кэш памяти в вычислительных программах и оптимизирующих компиляторах
45 мин.
Штейнберг Борис Яковлевич
д.т.н., зав. кафедрой АДМ мехмата ЮФУ
|
| чт 25 апреля |
|
Лавровские чтения |
| ауд. 405 |
|
|
Исследования и преподавание в области современных технологий и
инструментов программирования и облачных вычислений
60 мин.
Сафонов Владимир Олегович
д.т.н., профессор кафедры информатики СПбГУ
член-корреспондент РАЕ
член программного комитета,
руководитель секции
|
|
|
P-SPACE-полнота проверки логико-математических свойств компьютерных
программ-функций и предикатов
60 мин.
Косовский Николай Кириллович
д.ф.-м.н., профессор, заведующий кафедрой информатики СПбГУ
член программного комитета,
руководитель секции
|
|
|
Рандомизация, усреднение и мультиагентные технологии
в data mining и управлении
60 мин.
Граничин Олег Николаевич
д.ф.-м.н., профессор кафедры системного программирования СПбГУ
зав. лаб. стохастических вычислительных систем НИИИТ СПбГУ
член программного комитета,
руководитель секции
|
|
|
