• 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)»

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

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

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

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

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

Иллюстрация к новости: Продолжается цикл Объединенного заседания семинара ПОИС и семинара Моделирование и анализ информационных систем (ЯрГу)

Продолжается цикл Объединенного заседания семинара ПОИС и семинара Моделирование и анализ информационных систем (ЯрГу)

Иллюстрация к новости: Объединенное заседание семинара ПОИС и семинара Моделирование и анализ информационных систем (ЯрГу)

Объединенное заседание семинара ПОИС и семинара Моделирование и анализ информационных систем (ЯрГу)