• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта

Новости

Иллюстрация к новости: Открыт прием постдоков в лаборатории ФКН

Открыт прием постдоков в лаборатории ФКН

Открыт прием заявок на позиции российских постдоков в лаборатории факультета компьютерных наук.

27.02 Мемориальный семинар, посвященный 90-летию со дня рождения Риммы Ивановны Подловченко

Семинар по математическим основам информатики, посвященный столетию со дня рождения Бориса Абрамовича Трахтенброта

Иллюстрация к новости: Защита кандидатской диссертации Шершакова Сергея Андреевича

Защита кандидатской диссертации Шершакова Сергея Андреевича

Научному сотруднику лаборатории Шершакову Сергею присуждена степень кандидата компьютерных наук. Работа "Методы и инструменты повышения эффективности алгоритмов майнинга процессов" была выполнена под научным руководством Ирины Александровны Ломазовой, заведущей лабораторией. 
Поздравляем коллег!

Иллюстрация к новости: "Науки о процессах предлагают взгляд на мир как на взаимодействие динамических процессов, а не статичных объектов"

"Науки о процессах предлагают взгляд на мир как на взаимодействие динамических процессов, а не статичных объектов"

Алексей Мицюк, доцент департамента программной инженерии и старший научный сотрудник научно-учебной лаборатории процессно-ориентированных информационных систем (ПОИС), рассказал о своих исследованиях, проектах и о плюсах научной работы.

Иллюстрация к новости: Подведены итоги конкурса НИРС-2020

Подведены итоги конкурса НИРС-2020

Антон Ригин, студент 2 курса магистерской программы "Системная и программная инженерия", занял 1 место в номинации «Лучшая научно-исследовательская работа по компьютерным наукам для студентов магистратуры и выпускников 2020 года».
Работа на тему «Reference and data semantic-based simulator of Petri Nets extension with the use of Renew tool» выполнена под руководством научного сотрудника НУЛ ПОИС Шершакова Сергея Андреевича.
Поздравляем коллег!

Иллюстрация к новости: XI Workshop "Program Semantics, Specification and Verification: Theory and Applications" PSSV-2020

XI Workshop "Program Semantics, Specification and Verification: Theory and Applications" PSSV-2020

Состоялся одиннадцатый международный воркшоп «Program Semantics, Specification and Verification: Theory and Applications (PSSV-2020)»

Иллюстрация к новости: Прошла международная онлайн-конференция MACSPro-2020

Прошла международная онлайн-конференция MACSPro-2020

22-24 октября прошла онлайн-конференция MACSPro-2020 (Modeling and Analysis of Complex Systems and Processes), посвященная моделированию и анализу сложных систем и процессов. Ее цель — обмен опытом между исследователями, работающими над теоретическими и практическими составляющими анализа сложных систем в различных отраслях, от астрофизики и биоинформатики до бизнеса.

The 9th International Conference on Analysis of Images, Social Networks and Texts (AIST 2020)

Сотрудники лаборатории приняли участие в международной конференции по анализу изображений, социальных сетей и текстов

Иллюстрация к новости: О проблеме эквивалентности последовательных программ с процедурами

О проблеме эквивалентности последовательных программ с процедурами

Стажер-исследователь Казбекова Диана выступила на семинаре лаборатории